Предполнота замкнутых классов в P<sub>k</sub>: предикатный подход

Аннотация:

Предполнота замкнутых классов k-значной логики доказывается на предикатном языке с использованием понятий минимального предиката и (∃, &)-формулы.

Ключевые слова:

предполный класс, предикатное определение замкнутых классов

Язык публикации: русский, страниц: 16 (с. 117-132)

Направление исследований:

Математические вопросы и теория численных методов

Полный текст на русском языке:

Марченков Сергей Серафимович, , Факультет вычислительной математики и кибернетики МГУ, кафедра математической кибернетики

	Библиотеки, издания • Поиск публикаций	English
	Публикация