Вычислимость и логика
Булос Дж., Джеффри Р.
Книга известных американских математиков, являющаяся в настоящее время одной из наиболее известных в США книг по математической логике, выдержавшая там три издания (1974, 1980, 1989 гг.). В ней содержатся начала и некоторые дополнительные главы математической логики, последовательно и строго излагаются классические теоремы о неразрешимости логики предикатов и разрешимости некоторых ее фрагментов, знаменитые теоремы Гёделя о полноте, нестандартные модели и многое другое. Материал дополнен упражнениями.
Для всех, кто интересуется математической логикой, а также информатикой, философией и лингвистикой.
Для всех, кто интересуется математической логикой, а также информатикой, философией и лингвистикой.
Thể loại:
Năm:
1994
Nhà xuát bản:
Мир
Ngôn ngữ:
russian
Trang:
396
ISBN 10:
5030030670
ISBN 13:
9785030030678
File:
DJVU, 3.59 MB
IPFS:
,
russian, 1994