RUSSIAN

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

By Булос Дж. , Джеффри Р. (G.S.Boolos,R.C.Jeffrey)

Book information

Publisher
Мир
Year
1994
ISBN
0-521-38923-2
Language
russian
Format
DJVU
Filesize
10 MB (10284060 bytes)
Pages
198\198
Topic
Mathematics Logic
Library
kolxoz
Time added
2009-07-20 03:45:11
Математика;Математическая логика

Description

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

Similar books