Информация о книге

5-03-003067-0, 0-521-38923-2

Главная  » Научно-техническая литература » Математика. Естественные науки » Математика » Логика » Вычислимость и логика

Булос Д., Джеффри Р., Вычислимость и логика

Мир, 1994 г., 400 стр., 5-03-003067-0, 0-521-38923-2


Описание книги

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

Поделиться ссылкой на книгу




Об авторе


Последние поступления в рубрике "Логика"



Математика наблюдателей и ее приложения к квантовой механике, теории относительности и классической математике Математика наблюдателей и ее приложения к квантовой механике, теории относительности и классической математике Хоц Д., Хоц Б.

В этой книге представлены результаты авторов, относящиеся к Математике наблюдателей (авторское назввание - Observer\"s Mathematics). Эта математика была впервые введена авторами, были изучены ее основные свойства и получены приложения как к классической математике, так и к современной физике....

Теория множеств Теория множеств Хаусдорф Ф.

Вниманию читателей предлагается книга известного немецкого математика, одного из основоположников современной топологии Ф.Хаусдорфа (1868--1942), которая содержит очень полное и в то же время совершенно элементарное изложение теории множеств....

Лекции по математике. Том 16. Теория множеств. От Кантора до Коэна. Учебное пособие Лекции по математике. Том 16. Теория множеств. От Кантора до Коэна. Учебное пособие Босс В.

Настоящий том \\\"Лекций\\\" посвящен теории множеств в диапазоне от наивной трактовки проблематики до ее современного (аксиоматического) состояния. Наряду с простейшими понятиями и результатами о манипулировании бесконечностями рассматриваются довольно тонкие феномены: парадокс Банаха-Тарского, кардинальная и ординальная арифметика, базисы Гамеля....

Если Вы задавались вопросами "где найти книгу в интернете?", "где купить книгу?" и "в каком книжном интернет-магазине нужная книга стоит дешевле?", то наш сайт именно для Вас. На сайте книжной поисковой системы Книгопоиск Вы можете узнать наличие книги Булос Д., Джеффри Р., Вычислимость и логика в интернет-магазинах. Также Вы можете перейти на страницу понравившегося интернет-магазина и купить книгу на сайте магазина. Учтите, что стоимость товара и его наличие в нашей поисковой системе и на сайте интернет-магазина книг может отличаться, в виду задержки обновления информации.