Справка
x
Поиск
Закладки
Озвучить книгу
Изменить режим чтения
Изменить размер шрифта
Оглавление
Для озвучивания и цитирования книги перейдите в режим постраничного просмотра.
Дискретная математика. Формально-логические системы и языки
Часть I. АЛГЕБРА ЛОГИКИ И ПРЕДИКАТЫ
Предыдущая страница
Следующая страница
Оглавление
Предисловие
Введение
Часть I. АЛГЕБРА ЛОГИКИ И ПРЕДИКАТЫ
-
Глава 1. Алгебра логики
Глава 2. Функции k-значной логики
Глава 3. Производные булевой функции в синтезе логических схем
Глава 4. Синтез схем из функциональных элементов
Глава 5. Аксиоматическое исчисление высказываний
Глава 6. Логика предикатов
Глава 7. Аксиоматическое исчисление предикатов
Глава 8. Исчисление секвенций
Глава 9. Метод резолюций в логике предикатов и Пролог
Часть II. МОНАДИЧЕСКАЯ ЛОГИКА И КОНЕЧНЫЕ АВТОМАТЫ
+
Приложение 1. Логика высказываний и предикатов. Пролог
Приложение 2. Конечные автоматы
Приложение 3. Анализ конечных автоматов
Приложение 4. Синтез конечных автоматов
Литература
Обозначения
Данный блок поддерживает скрол*