Электронные книги

Жанры
Реклама
Последние комментарии
От партнёров
Облако тегов

Естественные наукиОпределимость и вычислимость

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

Автор: Ершов Ю.Л.
Название: Определимость и вычислимость
Издательство: Новосибирск, Научная книга; М., Экономика
Год: 1996
Формат: DjVu
Размер: 2,21 Mb
Качество: Отсканированные страницы
Для сайта: eKnigi.org

Книга открывает учрежденную в 1995 г. Сибирским фондом алгебры и логики математическую книжную серию «Сибирская школа алгебры и логики» под редакцией академика Ю. Л. Ершова. Все книги серии издаются одновременно на английском языке издательством Plenum Publishing Corporation.
Новое доказательство теоремы Гёделя о неполноте, основанное на систематическом использовании формул с ограниченными кванторами. Новое изложение (на основе теоремы Ганди) теории допустимых множеств с праэлементами. Избранные темы, посвященные Е-определимости, динамической логике, Е-предикатам конечных типов и т.д.
Для научных работников — специалистов по математической логике, алгебре, теоретическому программированию, информатике и смежным специальностям. Доступна аспирантам и студентам университетов.

Нажмите для скачивания ErshovOpredelimost_reshi.rar!ErshovOpredelimost_reshi.rar
Размер: 2.22 Mb(cкачиваний: 0)



Похожие книги

Информация

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


  • Valid XHTML 1.0 Transitional