Раздел 3 / 10

Страница 135 / 203

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

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

/

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

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

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

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

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

/

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

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

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

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

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

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

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

Оглавление

Предисловие

Введение

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

Глава 1. Алгебра логики

Глава 2. Функции k-значной логики

Глава 3. Производные булевой функции в синтезе логических схем

Глава 4. Синтез схем из функциональных элементов

Глава 5. Аксиоматическое исчисление высказываний

Глава 6. Логика предикатов

Глава 7. Аксиоматическое исчисление предикатов

Глава 8. Исчисление секвенций

Глава 9. Метод резолюций в логике предикатов и Пролог

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

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

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

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

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

Литература

Обозначения