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

Вычислимость и логика КНИГИ » ЕСТЕСТВЕННЫЕ НАУКИ

Название: Вычислимость и логика
Автор: Булос Дж., Джеффри Р.
Издательство: Мир
ISBN: 5-03-003067-0
Год: 1994
Формат: PDF
Качество: Отсканированные страницы
Страниц: 398
Размер: 56.3 MB
Язык: Русский

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

Скачать Булос Дж., Джеффри Р. - Вычислимость и логика [1994, PDF]

Скачать c Turbobit.net
Скачать c 2bay.org

ОТСУТСТВУЕТ ССЫЛКА/ НЕ РАБОЧАЯ ССЫЛКА ЕСТЬ РЕШЕНИЕ, ПИШИМ СЮДА!

Автор: Интересненько 20-02-2018, 12:42 | Напечатать |

Уважаемый посетитель, Вы зашли на сайт как незарегистрированный пользователь.

С этой публикацией часто скачивают:

Лекции по математической логике и теории алгоритмов. Часть 2. Языки и исчисления Название: Лекции по математической логике и теории алгоритмов. Часть 2. Языки и исчисления Автор: Верещагин Н.К., Шень А. Издательство: МЦНМО Год:...

Введение в математическую логику (2017) Название: Введение в математическую логику Автор: Зюзьков В.М. Издательство: Томск: ИД ТГУ Год: 2017 Страниц: 258 ISBN: 978-5-94621-617-3 Формат:...

Определимость и вычислимость Название: Определимость и вычислимость Автор: Ершов Ю.Л. Издательство: Научная книга Год: 1996 Формат: PDF Страниц: 300 Размер: 22.2 MB Язык:...

Математическая логика (1961) Название: Математическая логика Автор: Гудстейн Р.Л. Издательство: Иностранной литературы Год: 1961 Формат: PDF Страниц: 166 Размер: 18.7 MB Язык:...

Элементы математической логики (1973) Название: Элементы математической логики Автор: Новиков П.С. Издательство: М.: Наука Год: 1973 - 2-изд., испр. Cтраниц: 401 Формат: pdf Размер: 23...

Математическая логика Название: Математическая логика Автор: Колмогоров А.Н., Драгалин А.Г. Издательство: КомКнига Год: 2006 Формат: pdf Страниц: 241 Размер: 22 Mb Язык:...

Вычислимость. Введение в теорию рекурсивных функций Автор: Катленд Н. Название: Вычислимость. Введение в теорию рекурсивных функций Издательство: М.: Мир Год: 1983 Язык: Русский, пер. с англ. Формат:...

Лекции по математической логике и теории алгоритмов. В 3 частях Название: Лекции по математической логике и теории алгоритмов. В 3 частях Автор: Н.К. Верещагин, А. Шень Издательство: МЦНМО (Москва) Год: 1999, 2000...

Вводный курс математической логики (2004) Название: Вводный курс математической логики Автор: Успенский В.А., Верещагин Н.К., Плиско В.Е. Издательство: М.: Физматлит Год: 2004 Страниц: 128...

Логика Автор: Жоль К.К. Название: Логика Издательство: М.: ЮНИТИ-ДАНА Год: 2004 Формат: djvu Размер: 15 mb Язык: Русский Дается изложение важнейших...

Информация

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