Функциональные системы с операциями замыкания програмного типа Тайманов, Владимир Асанович

Короткий опис

Тайманов, Владимир Асанович.Функциональные системы с операциями замыкания програмного типа : диссертация ... кандидата физико-математических наук : 01.01.09. - Москва, 1984. - 141 с.

Оглавление диссертациикандидат физико-математических наук Тайманов, Владимир Асанович
Введение.
§ O.I. Общая характеристика диссертации
§ 0.2. Краткое содержание диссертации
Глава I. О декартовых степенях Pz
§ I.I. Основные понятия и определения. Некоторые вспомогательные факты
§ 1.2. Теоремы о базисах замкнутых классов
Глава 2. Функциональные системы к -значной логики с операциями замыкания программного типа
§ 2.1. Основные понятия и определения. Некоторые вспомогательные результаты.
§ 2.2. Критерии сравнимости и совпадения двух операций
§ 2.3. О некоторых свойствах операций
§ 2.4. О некоторых мощностных и структурных свойствах множеств операций