Справка
x
ЭБС "КОНСУЛЬТАНТ СТУДЕНТА"
Электронная библиотека технического вуза
Все издания
Вход / регистрация
Во весь экран / Свернуть
en
Версия для слабовидящих
Каталог
Все издания
Меню
Искать в книге
К результату поиска
Расширенный поиск
Закладки
На главную
Вход / регистрация
Во весь экран / Свернуть
en
Управление
Мои отчеты
Каталог
Издательства
УГС
Мои списки
Скачать приложение
Дискретная математика. Формально-логические системы и языки
Оборот титула
Оглавление
Предисловие
Введение
Часть I. АЛГЕБРА ЛОГИКИ И ПРЕДИКАТЫ
+
Часть II. МОНАДИЧЕСКАЯ ЛОГИКА И КОНЕЧНЫЕ АВТОМАТЫ
+
Приложение 1. Логика высказываний и предикатов. Пролог
Приложение 2. Конечные автоматы
Приложение 3. Анализ конечных автоматов
Приложение 4. Синтез конечных автоматов
Литература
Обозначения
Close Menu
Раздел
10
/
10
Страница
1
/
5
Обозначения
/
/
Внимание! Для озвучивания и цитирования книги перейдите в режим постраничного просмотра.
Для продолжения работы требуется
Регистрация
Каталог
Издательства
УГС
Мои списки
Скачать приложение
Дискретная математика. Формально-логические системы и языки
Оглавление
Предисловие
Введение
Часть I. АЛГЕБРА ЛОГИКИ И ПРЕДИКАТЫ
+
Часть II. МОНАДИЧЕСКАЯ ЛОГИКА И КОНЕЧНЫЕ АВТОМАТЫ
+
Приложение 1. Логика высказываний и предикатов. Пролог
Приложение 2. Конечные автоматы
Приложение 3. Анализ конечных автоматов
Приложение 4. Синтез конечных автоматов
Литература
Обозначения
