Введение в математическую логику
Учебное пособие начинается с рассмотрения отношений между логикой, математикой, математической логикой и реальным миром. Кратко излагается история математической логики. К традиционным разделам предмета относятся: основы теории множеств, пропозициональная логика и язык предикатов, аксиоматиче...
Main Author: | |
---|---|
Format: | Book |
Language: | Russian |
Published: |
Санкт-Петербург
Лань
2022
|
Edition: | 2-е изд., испр. |
Online Access: | ЭБС Лань ЭБС Лань Перейти в каталог НТБ ТГАСУ |
LEADER | 02694nam a22002291 4500 | ||
---|---|---|---|
005 | 20230307000559.0 | ||
007 | cr bn uu|uu | ||
008 | 220609s2022 ru W 000 m rus d | ||
020 | |a 9785811430536 | ||
040 | |a RU-ToGUA |b rus |c RU-ToGUA |e PSBO | ||
100 | 1 | |a Зюзьков, В. М. |9 274673 | |
245 | 1 | 0 | |a Введение в математическую логику |h Электронный ресурс |c Зюзьков В. М. |
250 | |a 2-е изд., испр. | ||
260 | |a Санкт-Петербург |b Лань |c 2022 | ||
300 | |a 268 с. | ||
520 | 3 | |a Учебное пособие начинается с рассмотрения отношений между логикой, математикой, математической логикой и реальным миром. Кратко излагается история математической логики. К традиционным разделам предмета относятся: основы теории множеств, пропозициональная логика и язык предикатов, аксиоматические теории и теория вычислимости. Значительное место занимают изложение ламбда-исчисления и расмотрение различных видов математических доказательств. Приводятся доказательства теорем Гёделя о полноте. Пособие содержит задачи, для некоторых из них приведены решения. Для студентов вузов, обучающихся направлениям подготовки и специальностям, входящим в УГС: Математика и механика, Компьютерные и информационные науки, Информатика и вычислительная техника, Информационная безопасность, Управление в технических системах. Книга также будет полезна для преподавателей математики и компьютерных наук высших учебных заведений. | |
540 | |a Книга из коллекции Лань - Математика | ||
856 | 4 | |u https://e.lanbook.com/book/213008 |y ЭБС Лань | |
856 | 4 | 1 | |u https://e.lanbook.com/img/cover/book/213008.jpg |y ЭБС Лань |
856 | |y Перейти в каталог НТБ ТГАСУ |u https://catalog.tsuab.ru/cgi-bin/koha/opac-detail.pl?biblionumber=818925 | ||
999 | |c 818925 |d 818925 | ||
039 | |z 2 |b 2 |