Математическая логика. Дополнительные главы. Учебное пособие

Математическая логика. Дополнительные главы. Учебное пособие

История цены История цены
 
344 Р
28159909
В наличии
26/09/2015
 
Книга представляет собой вторую часть учебного пособия авторов "Введение в математическую логику" (Издательство Московского университета, 1982 г.), но может изучаться и самостоятельно. Излагаются фундаментальные факты математической логики: начала аксиоматической теории множеств, теория алгоритмов, теорема о полноте исчисления предикатов, теорема Гёделя о неполноте. Обсуждается программа Гильберта обоснования математики.
Frame $60% в наличии