
Название: Вычислимость и логика
Автор: Булос Дж., Джеффри Р.
Издательство: Мир
ISBN: 5-03-003067-0
Год: 1994
Формат: PDF
Качество: Отсканированные страницы
Страниц: 398
Размер: 56.3 MB
Язык: Русский
Книга известных американских математиков, являющаяся в настоящее время одной из наиболее известных в США книг по математической логике, выдержавшая там три издания (1974, 1980, 1989 гг.). В ней содержатся начала и некоторые дополнительные главы математической логики, последовательно и строго излагаются классические теоремы о неразрешимости логики предикатов и разрешимости некоторых ее фрагментов, знаменитые теоремы Гёделя о полноте, нестандартные модели и многое другое. Материал дополнен упражнениями.