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

Статья в сборнике "Математические вопросы кибернетики" №6, Москва, 1996
Авторы: Марченков С.С.
Предполнота замкнутых классов в Pk: предикатный подход
Аннотация:
Предполнота замкнутых классов k-значной логики доказывается на предикатном языке с использованием понятий минимального предиката и (∃, &)-формулы.
Ключевые слова:
предполный класс, предикатное определение замкнутых классов
Язык публикации: русский, страниц: 16 (с. 117-132)
Направление исследований:
Математические вопросы и теория численных методов
Полный текст: Сведения об авторах:
  • Марченков Сергей Серафимович,  ,  Факультет вычислительной математики и кибернетики МГУ, кафедра математической кибернетики