Вычислимость и логика

Автор(ы)

Булос Дж, Джеффри Р

Год

1994

Язык

rus

ISBN

5-03-003067-0

Теги

Компьютеры и информационные технологии Математика Философия Языкознание

Аннотация

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