Электронные книги

Жанры
Реклама
Последние комментарии
От партнёров
Облако тегов

Наука и учебаВычислимость и логика

Вычислимость и логика
Название: Вычислимость и логика
Автор: Булос Дж., Джеффри Р.
Издательство: М.: Мир
Год: 1994
Страниц: 396
Формат: djvu
Размер: 10.10 Мб
ISBN: 5-03-003067-0
Качество: хорошее

Обложка от американского издания!

Книга известных американских математиков, являющаяся в настоящее время одной из наиболее известных в США книг по математической логике, выдержавшая там три издания (1974, 1980, 1989 гг.). В ней содержатся начала и некоторые дополнительные главы математической логики, последовательно и строго излагаются классические теоремы о неразрешимости логики предикатов и разрешимости некоторых ее фрагментов, знаменитые теоремы Гёделя о полноте, нестандартные модели и многое другое. Материал дополнен упражнениями.
Для всех, кто интересуется математической логикой, а также информатикой, философией и лингвистикой.

Нажмите для скачивания Bulos-Logic.rar!Bulos-Logic.rar
Размер: 10.1 Mb(cкачиваний: 0)



Похожие книги

Информация

Посетители, находящиеся в группе Гости, не могут оставлять комментарии к данной публикации.


  • Valid XHTML 1.0 Transitional