Определимость и вычислимость
|
ISBN | | 5282020211:5881190297 |
Издатель | | Научная Книга, Экономика |
|
Содержание:
Определимость и вычислимость, К юбилею академика Ю. Л. Ершова
Описание:
Новое доказательство теоремы Геделя о неполноте, основанное на систематическом использовании формул с ограниченными кванторами. Новое изложение (на основе теоремы Ганди) теории допустимых множеств с праэлементами. Избранные темы, посвященные динамической логике и др. Для научных работников - специалистов по математической логике, алгебры, теоретическому программированию, информатике и смежным специальностям. Доступна аспирантам и студентам университетов.Похожие книги
| Логика Автор: В. Ф. Асмус Год: 2010
|