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

Определимость и вычислимость
Автор
 
Год
 
Страниц
 
320
ISBN
 
5282020211:5881190297
Издатель
 
Научная Книга, Экономика
Категория
 
Естественные науки. Ч. 2 (архив)
Искать в интернет библиотекахКупить

Содержание:

Определимость и вычислимость, К юбилею академика Ю. Л. Ершова

Описание:

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

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

Учебник логики. Со сборником задачУчебник логики. Со сборником задач
Автор: А. Д. Гетманова
Год: 2002
Теория смысла и интенсиональная логикаТеория смысла и интенсиональная логика
Автор: И. Б. Микиртумов
Год: 2006
Логика. УчебникЛогика. Учебник
Автор: В. Ф. Асмус
Год: 2001
Квантовая логикаКвантовая логика
Автор: В. Л. Васюков
Год: 2005