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

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

Содержание:

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

Описание:

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

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

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