Раздел 4 / 10

Страница 1 / 95

Часть II. МОНАДИЧЕСКАЯ ЛОГИКА И КОНЕЧНЫЕ АВТОМАТЫ

Режим постраничного просмотра

/

На первую страницу

На предыдущую главу

На следующую главу

На последнюю страницу

Озвучивание недоступно

/

Внимание! Для озвучивания и цитирования книги перейдите в режим постраничного просмотра.

Режим постраничного просмотра

Для продолжения работы требуется Registration

На предыдущую главу

На следующую главу

Скачать приложение

Дискретная математика. Формально-логические системы и языки

Table of contents

Предисловие

Введение

Часть I. АЛГЕБРА ЛОГИКИ И ПРЕДИКАТЫ +

Часть II. МОНАДИЧЕСКАЯ ЛОГИКА И КОНЕЧНЫЕ АВТОМАТЫ -

Глава 10. Конечные автоматы

Глава 11. Автоматы и сверхъязыки

Глава 12. Проблема униформизации

Глава 13. Монадическая логика натуральных чисел

Глава 14. Темпоральная логика

Глава 15. Аксиоматический язык программирования OBJ3

Приложение 1. Логика высказываний и предикатов. Пролог

Приложение 2. Конечные автоматы

Приложение 3. Анализ конечных автоматов

Приложение 4. Синтез конечных автоматов

Литература

Обозначения