Подписка на 1 месяц за 1 рубль!
Дисциплина: Дискретная математика
Жанр: Научные монографии
| Предисловие | 9 |
| Введение | 13 |
| Часть I. АЛГЕБРА ЛОГИКИ И ПРЕДИКАТЫ | 27 |
| Глава 1. Алгебра логики | 28 |
| Глава 2. Функции k-значной логики | 60 |
| Глава 3. Производные булевой функции в синтезе логических схем | 67 |
| Глава 4. Синтез схем из функциональных элементов | 80 |
| Глава 5. Аксиоматическое исчисление высказываний | 94 |
| Глава 6. Логика предикатов | 113 |
| Глава 7. Аксиоматическое исчисление предикатов | 136 |
| Глава 8. Исчисление секвенций | 151 |
| Глава 9. Метод резолюций в логике предикатов и Пролог | 161 |
| Часть II. МОНАДИЧЕСКАЯ ЛОГИКА И КОНЕЧНЫЕ АВТОМАТЫ | 230 |
| Глава 10. Конечные автоматы | 231 |
| Глава 11. Автоматы и сверхъязыки | 257 |
| Глава 12. Проблема униформизации | 267 |
| Глава 13. Монадическая логика натуральных чисел | 285 |
| Глава 14. Темпоральная логика | 296 |
| Глава 15. Аксиоматический язык программирования OBJ3 | 310 |
| Приложение 1. Логика высказываний и предикатов. Пролог | 325 |
| Приложение 2. Конечные автоматы | 357 |
| Приложение 3. Анализ конечных автоматов | 364 |
| Приложение 4. Синтез конечных автоматов | 380 |
| Литература | 383 |
| Обозначения | 386 |
Отзывы: нет |
© 2001–2022, Издательство «Директ-Медиа» тел.: 8-800-333-68-45 (звонок бесплатный), +7 (495) 258-90-28 manager@directmedia.ru
