Добавить в закладки
Наш форум
Правила Litmy.ru
Мы в Вконтакте
Подписка на RSS
Для правообладателей
Поиск книг:
Разделы сайта
Авторизация
Регистрация



Реклама



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

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


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


Автор: Имедведь 12-03-2018, 11:24 | Напечатать
 
Уважаемый посетитель, Вы зашли на сайт как незарегистрированный пользователь.




 Litmy.ru  ©2020-2023     При использовании материалов библиотеки обязательна обратная активная ссылка    Политика конфиденциальности