Введение в математическую логику
Учебное пособие начинается с рассмотрения отношений между логикой, математикой, математической логикой и реальным миром. Кратко излагается история математической логики. К традиционным разделам предмета относятся: основы теории множеств, пропозициональная логика и язык предикатов, аксиоматиче...
| 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 | ||