Решение проблемы классификации автоматных базисов Поста по разрешимости свойств полноты и А-полноты Бабин, Дмитрий Николаевич

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

Бабин, Дмитрий Николаевич.
Решение проблемы классификации автоматных базисов Поста по разрешимости свойств полноты и А-полноты : диссертация ... доктора физико-математических наук : 01.01.09. - Москва, 1998. - 244 с. : ил.
Оглавление диссертациидоктор физико-математических наук Бабин, Дмитрий Николаевич
Оглавление.
Введение
1. Алгоритмическая разрешимость полноты и А-полноты конечных систем а.-функций, содержащих полную систему истинностных функций
1.1. Основные понятия и леммы
1.2. Доказательство лемм 1.1,1.2,1.3
1.3. Доказательство лемм 1.4,1.5
1.4. Доказательство теорем 1,2
2. Алгоритмическая разрешимость полноты и А-полноты конечных систем автоматных функций, содержащих истинностную функцию хуУхгУуг
2.1. Основные леммы
2.2. Доказательство вспомогательных утверждений
2.3. Доказательство теорем 3,4
3. Алгоритмическая разрешимость полноты и А-полноты конечных систем автоматных функций, содержащих истинностную функцию х+у+г
3.1. Основные леммы
3.2. Доказательство лемм 3.1 — 3.3
3.3. Доказательство лемм 3.4.-3.8
3.4. Доказательство лемм 3.9.-3.13
4. Алгоритмическая неразрешимость проблемы полноты и А-полноты конечных систем автоматов с истинностной частью типа О, Р, Р3
4.1. Основные леммы
4.2. Доказательство лемм
Список литературы