Раздел 3 / 10

Страница 68 / 203

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

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

/

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

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

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

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

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

/

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

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

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

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

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

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

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

Table of contents

Предисловие

Введение

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Литература

Обозначения