Вычислимость и логика
Булос Дж., Джеффири Р.
Издательство: Мир
Город: Москва
Год издания: 1994
Количество страниц: 396
Аннотация: Книга известных американских математиков, являющаяся в настоящее время одной из наиболее известных ы США книг по математической логике, выдержавшая там три издания (1974, 1980, 1989 гг.). В ней содержатся начала и некоторые дополнительные главы математической логики, последовательно и строго излагаются классические теоремы о неразрешимости логики предикатов и разрешимости некоторых ее фрагментов, знамениты теоремы Гёделя о полноте, нестандартные модели и многое другое. Материал дополнен упражнениями.
Для всех, кто интересуется математической логикой, а также информатикой, философией и лингвистикой.
ISBN: 5-03-003067-0
УДК: 510
ББК: 22.12
ID: 2058
Формат: .djvu
Размер файла: 9.81 Мб
Загрузил: Александр Лосев 2017-09-27 11:38:59
Раздел: Научно-образовательная литература > Математика >
