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