RUSSIAN

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

By Ершов Ю. Л.

Book information

Publisher
Научная книга
Year
1996
ISBN
5-88119-007-6
Language
russian
Format
DJVU
Filesize
2 MB (2323163 bytes)
Series
Сибирская школа алгебры и логики
Pages
148\148
Topic
Mathematics Logic
Library
Kolxo3
Time added
2009-07-20 03:45:11
Математика;Математическая логика

Description

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

Similar books