Каталог / Фізико-математичні науки / Математична логіка, алгебра, теорія чисел та дискретна математика
скачать файл: 
- Назва:
- Универсальные хорновы классы графов и формальных языков Кравченко, Александр Владимирович
- Альтернативное название:
- Universal Horn classes of graphs and formal languages Kravchenko, Alexander Vladimirovich
- Короткий опис:
- Кравченко, Александр Владимирович.
Универсальные хорновы классы графов и формальных языков : диссертация ... кандидата физико-математических наук : 01.01.06. - Новосибирск, 1999. - 86 с.
Оглавление диссертациикандидат физико-математических наук Кравченко, Александр Владимирович
Оглавление
Введение
1. Цветосемейства предикатных систем
1. Определения и предварительные результаты
2. Универсальные хорновы классы
3. Ядра, цветосемейства и нормальные формы
4. Конечно порожденные цветосемейства
5. Цветосемейства формальных языков
2. Антимногообразия и цветосемейства графов
6. Гомоморфизмы и конгруэнции графов
7. Цветосемейства графов
8. Решетка цветосемейств графов
9. Решетка антимногообразий графов
10. Решетка квазимногообразий графов
11. Квазитождества и антитождества цветосемейств
3. Сложность решеток квазимногообразий графов и эндографов
12. Квазимногообразия ориентированных графов
13. Квазимногообразия эндографов
Литература
82
- Стоимость доставки:
- 650.00 руб