Определимость и вычислимость

Определимость и вычислимость КНИГИ » НАУКА И УЧЕБА

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

В книге дается новое доказательство теоремы Гёделя о неполноте, основанное на систематическом использовании формул с ограниченными кванторами; новое изложение (на основе теоремы Ганди) теории допустимых множеств с праэлементами. Включены также избранные темы, посвященные ?-определимости, динамической логике, ?-предикатам конечных типов.
Для научных работников — специалистов по математической логике, алгебре, теоретическому программированию, информатике и смежным специальностям. Доступна аспирантам и студентам университетов.

Скачать Ершов Ю.Л. - Определимость и вычислимость [1996, PDF]

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

НЕ РАБОТАЕТ TURBOBIT.NET? ЕСТЬ РЕШЕНИЕ, ЖМИ СЮДА!

Автор: Интересненько 12-03-2018, 11:24 | Напечатать |

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

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

Теория рекурсивных функций и эффективная вычислимость Название: Теория рекурсивных функций и эффективная вычислимость Автор: Роджерс Х. Издательство: М.: Мир Год: 1972 Cтраниц: 624 Формат: pdf Размер:...

Сборник задач по математической логике и алгебре множеств Название: Сборник задач по математической логике и алгебре множеств. Изд. 2-е, испр. Автор: Гохман А.В., Спивак М.А., Розен В.В. и др. Издательство:...

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

Математическая логика (2018) Название: Математическая логика Автор: Унучек С.А. Издательство: Ай Пи Эр Медиа Год: 2018 Страниц: 239 Формат: pdf Размер: 97 mb В основе...

Сибирская школа алгебры и логики. Сборник (7 книг) Название: Сибирская школа алгебры и логики. Сборник (7 книг) Автор: Ю. Ершов, С. Гончаров, В. Харченко, В. Копытов, М. Перетятькин, В. Горбунов, ...

Задачи по теории множеств, математической логике и теории алгоритмов Название: Задачи по теории множеств, математической логике и теории алгоритмов Автор: Лавров И.А., Максимова Л.Л. Издательство: М.: ФИЗМАТЛИТ ISBN:...

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

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

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

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

Информация

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