А. Н. Колмогоров, А. Г. Драгалин - Математическая логика

Книга представляет собой вторую часть учебного пособия авторов "Введение в математическую логику" (1982г), но может изучаться и самостоятельно. Излагаются фундаментальные факты математической логики: начала акиоматической теории множеств, теория алгоритмов, теорема о полноте исчисления предикатов, теорема Геделя о неполноте. Обсуждается программа Гильберта обоснования математики.

Скачано: 948 раз

Скачать книгу

 

Комментарии

алексей, 06.11.2010 17:05

А.Н. Колмагоров, один из лучших теоретиков думаю хрень писать не будет.


SeregaFromSiberia, 15.09.2011 16:35

Действительно! Хрени не написано. Книга времён СССР. Удивительно, как при наличии таких великих умов, Родина столько (сотен) лет мечется между бессмысленностью и беспощадностью? Спасибо Вам за книгу.

 

Оставить комментарий

Имя:
Комментарий:
Проверочный код Сменить картинку