Справка
x
Поиск
Закладки
Озвучить книгу
Изменить режим чтения
Изменить размер шрифта
Оглавление
Для озвучивания и цитирования книги перейдите в режим постраничного просмотра.
Дискретная математика. Формально-логические системы и языки
Часть II. МОНАДИЧЕСКАЯ ЛОГИКА И КОНЕЧНЫЕ АВТОМАТЫ
Поставить закладку
Если Вы наш подписчик,то для того чтобы скопировать текст этой страницы в свой конспект,
используйте
просмотр в виде pdf
. Вам доступно 19 стр. из этой главы.
Для продолжения работы требуется
Registration
Предыдущая страница
Следующая страница
Table of contents
Предисловие
Введение
Часть I. АЛГЕБРА ЛОГИКИ И ПРЕДИКАТЫ
+
Часть II. МОНАДИЧЕСКАЯ ЛОГИКА И КОНЕЧНЫЕ АВТОМАТЫ
-
Глава 10. Конечные автоматы
Глава 11. Автоматы и сверхъязыки
Глава 12. Проблема униформизации
Глава 13. Монадическая логика натуральных чисел
Глава 14. Темпоральная логика
Глава 15. Аксиоматический язык программирования OBJ3
Приложение 1. Логика высказываний и предикатов. Пролог
Приложение 2. Конечные автоматы
Приложение 3. Анализ конечных автоматов
Приложение 4. Синтез конечных автоматов
Литература
Обозначения
Данный блок поддерживает скрол*