А. Н. Колмогоров, А. Г. Драгалин - Математическая логика
Книга представляет собой вторую часть учебного пособия авторов "Введение в математическую логику" (1982г), но может изучаться и самостоятельно. Излагаются фундаментальные факты математической логики: начала акиоматической теории множеств, теория алгоритмов, теорема о полноте исчисления предикатов, теорема Геделя о неполноте. Обсуждается программа Гильберта обоснования математики.Скачано: 948 раз
Комментарии
алексей, 06.11.2010 17:05
А.Н. Колмагоров, один из лучших теоретиков думаю хрень писать не будет.
SeregaFromSiberia, 15.09.2011 16:35
Действительно! Хрени не написано. Книга времён СССР. Удивительно, как при наличии таких великих умов, Родина столько (сотен) лет мечется между бессмысленностью и беспощадностью? Спасибо Вам за книгу.



