Электронная библиотека

ЭЛЕКТРОННАЯ БИБЛИОТЕКА






Добро пожаловать на сайт электронной библиотеки!
Здесь можно найти произведения русских и зарубежных авторов.
Скачать множество книг и журналов различных жанров и направлений.
Большой выбор художественной, бизнес, учебной и технической литературы.
Все представленные здесь книги и журналы имеют подробное описание и обложку.
Наша библиотека регулярно пополняется только новыми и интересными материалами!

«Подробнее о сайте»            «Правила сайта»            «Написать нам»            «Статьи»

Математическая логика. Курс лекций

Наука и познание >> Математика





Разместил: shurapopov

4-05-2013, 13:59

Просмотров: 640





Математическая логика. Курс лекций


Название: Математическая логика. Курс лекций
Автор: Тимофеева И.Л.
Издательство: КДУ
Год: 2007
Страниц: 304
Формат: pdf
Размер: 1,3 mb

Пособие написано в соответствии с действующей программой по математической логике для педагогических вузов. Рассмотрены следующие темы: язык логики высказываний, исчисления высказываний, язык логики предикатов, исчисления предикатов, теории первого порядка. Центральное место занимает изложение основ теории доказательств. Отдельный раздел посвящен проблемам оснований математики.










Похожие публикации

Зарипова Э.Р., Кокотчикова М.Г., Севастьянов. Л.А. - Лекции по дискретной математике. Часть 1,2 Зарипова Э.Р., Кокотчикова М.Г., Севастьянов. Л.А. - Лекции по дискретной математике. Часть 1,2
1. Лекции по дискретной математике. Часть I. Комбинаторика 1. В пособии излагаются основы комбинаторики и комбинаторных алгоритмов. Предназначено для студентов I, II курсов математических специальностей. Подготовлено на кафедре систем

Верещагин Н. К., Шень А. - Современные лекционные курсы по математической логике и теории алгоритмов в 3-х книгах (4-е изд.) Верещагин Н. К., Шень А. - Современные лекционные курсы по математической логике и теории алгоритмов в 3-х книгах (4-е изд.)
Часть 1. Начала теории множеств Часть 2. Языки и исчисления Часть 3. Вычислимые функции

Математическая логика и ее применения Математическая логика и ее применения
Предлагаемая читателю книга является сборником, составленным из докладов, представленных выдающимися зарубежными учеными на первом Международном конгрессе по логике, методологии и философии науки, состоявшемся в 1960 г. в Станфорде (США). В сборник

Математическая логика Математическая логика
В книге изложены основные классические исчисления математической логики: исчисление высказываний и исчисление предикатов; имеется краткое изложение основных понятий теории множеств и теории алгоритмов. Ряд разделов книги — теория моделей и теория

Методы математической физики Методы математической физики
Том 1 Посвящен изложению методов теории функций комплексного переменного, основ вариационного исчисления и теории обобщенных функций. Том 2, часть 1 посвящена изложению теории специальных функций. Часть 2 содержит теорию и методы решения

Математическая логика Математическая логика
В настоящее издание включены два учебника А. Н. Колмогорова и А. Г. Драгалина "Введение в математическую логику" и "Математическая логика. Дополнительные главы», ранее издававшиеся по отдельности. Они содержат классическое изложение понятий и

Математический интуиционизм. Введение в теорию доказательств Математический интуиционизм. Введение в теорию доказательств
В настоящее время в математической логике большое внимание уделяется исследованию неклассических логик. Многозначные логики высказываний уже довольно давно и весьма успешно применяются в теоретической кибернетике. Модальные логики находят интересные

Пензов Ю.П. - Элементы математической логики и теории множеств (учебник) Пензов Ю.П. - Элементы математической логики и теории множеств (учебник)
Описание: Настоящая книга является обработкой лекций, которые автор читал в Саратовском университете в 1962-66 гг. В параграфе 1 вводятся основные понятия теории множеств. В параграфах 2 и 3 излагаются элементы содержательного исчисления

Гохман А.В. - Сборник задач по математической логике и алгебре множеств Гохман А.В. - Сборник задач по математической логике и алгебре множеств
Описание: Предлагаемый сборник задач составлен в соответствии с программой университетского курса "Элементы математической логики и алгебры множеств".

Роберт Столл - Множества. Логика. Аксиоматические теории Роберт Столл - Множества. Логика. Аксиоматические теории
Описание: В книге дается элементарное изложение важнейших понятий, идей, методов и результатов теории множеств (включая алгебру операций надмножествами).




Отзывы и Комментарии





Добавление комментария

Ваше Имя:
Ваш E-Mail:(необязательно)
  • bowtiesmilelaughingblushsmileyrelaxedsmirk
    heart_eyeskissing_heartkissing_closed_eyesflushedrelievedsatisfiedgrin
    winkstuck_out_tongue_winking_eyestuck_out_tongue_closed_eyesgrinningkissingstuck_out_tonguesleeping
    worriedfrowninganguishedopen_mouthgrimacingconfusedhushed
    expressionlessunamusedsweat_smilesweatdisappointed_relievedwearypensive
    disappointedconfoundedfearfulcold_sweatperseverecrysob
    joyastonishedscreamtired_faceangryragetriumph
    sleepyyummasksunglassesdizzy_faceimpsmiling_imp
    neutral_faceno_mouthinnocent

Книги




Союз образовательных сайтов