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

Учебное пособие начинается с рассмотрения отношений между логикой, математикой, математической логикой и реальным миром. Кратко излагается история математической логики. К традиционным разделам предмета относятся: основы теории множеств, пропозициональная логика и язык предикатов, аксиоматиче...

Full description

Bibliographic Details
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