Введение в математическую логику (2018)

Введение в математическую логику (2018) КНИГИ » НАУКА И УЧЕБА

Название: Введение в математическую логику
Автор: Зюзьков В.М.
Издательство: Лань
Год: 2018
Страниц: 266
Формат: PDF
Размер: 57 Мб
Язык: русский

Учебное пособие начинается с рассмотрения отношений между логикой, математикой, математической логикой и реальным миром. Кратко излагается история математической логики. К традиционным разделам предмета относятся: основы теории множеств, пропозициональная логика и язык предикатов, аксиоматические теории и теория вычислимости.
Значительное место занимают изложение ламбда-исчисления и рассмотрение различных видов математических доказательств. Приводятся доказательства теорем Гёделя о полноте. Пособие содержит задачи, для некоторых из них приведены решения.
Для студентов вузов, обучающихся направлениям подготовки и специальностям, входящим в УГС: «Математика и механика», «Компьютерные и информационные науки», «Информатика и вычислительная техника», «Информационная безопасность», «Управление в технических системах». Книга также будет полезна для преподавателей математики и компьютерных наук высших учебных заведений.

Скачать Зюзьков В.М. - Введение в математическую логику (2018)

Скачать с turbobit.net

ОТСУТСТВУЕТ ССЫЛКА/ НЕ РАБОЧАЯ ССЫЛКА ЕСТЬ РЕШЕНИЕ, ПИШИМ СЮДА!

Автор: MIHAIL62 10-01-2019, 19:54 | Напечатать |

Уважаемый посетитель, Вы зашли на сайт как незарегистрированный пользователь.

С этой публикацией часто скачивают:

Математическая логика и теория алгоритмов (Агарева О.Ю., Селиванов Ю.В.) Название: Математическая логика и теория алгоритмов: учебное пособие Автор: Агарева О.Ю., Селиванов Ю.В. Издательство: М.: МАТИ Год: 2011 Страниц: 80...

Введение в математическую логику (2017) Название: Введение в математическую логику Автор: Зюзьков В.М. Издательство: Томск: ИД ТГУ Год: 2017 Страниц: 258 ISBN: 978-5-94621-617-3 Формат:...

Лекции и практикум по математической логике Название: Лекции и практикум по математической логике Автор: Зарипова Э.Р., Маркова Е.В. Издательство: Российский университет дружбы народов Год:...

Вводный курс математической логики (2007) Название: Вводный курс математической логики Автор: Успенский В.А., Верещагин Н.К., Плиско В.Е. Издательство: Физматлит Год: 2007 Страниц: 125 ISBN:...

Введение в математическую логику (2-е издание) Название: Введение в математическую логику Автор: Мендельсон Э. Издательство: Наука Год: 1976 - 2-е изд., исправл. Cтраниц: 320 Формат: pdf Размер:...

Введение в математическую логику (1971) Название: Введение в математическую логику Автор: Мендельсон Э. Издательство: М.: Наука Год: 1971 Cтраниц: 320 Формат: pdf Размер: 13 мб Язык:...

Введение в математическую логику Название: Введение в математическую логику Автор: А.Н. Колмогоров, А.Г. Драгалин Издательство: МГУ Год: 1982 Формат: pdf Страниц: 121 Размер: 51,5 Mb...

Математическая логика: Учебное пособие для вузов Название: Математическая логика: Учебное пособие для вузов Автор: Ершов Ю.Л., Палютин Е.А. Издательство: Наука Год: 1987 Формат: pdf Страниц: 336...

Математическая логика Название: Математическая логика Автор: Колмогоров А.Н., Драгалин А.Г. Издательство: КомКнига Год: 2006 Формат: pdf Страниц: 241 Размер: 22 Mb Язык:...

Вводный курс математической логики (2004) Название: Вводный курс математической логики Автор: Успенский В.А., Верещагин Н.К., Плиско В.Е. Издательство: М.: Физматлит Год: 2004 Страниц: 128...

Информация

Посетители, находящиеся в группе Гости, не могут оставлять комментарии к данной публикации.