- •Дискретная математика (часть 3)
- •Часть 3. Элементы алгебры логики 4
- •Часть 3. Элементы алгебры логики
- •3.1 Введение в алгебру логики
- •3.2 Основные функции алгебры логики
- •3.3 Формулы алгебры логики
- •Контрольные вопросы
- •3.4 Законы алгебры логики и следствия из них
- •Контрольные вопросы
- •3.5 Логические функции многих переменных
- •3.6 Построение формул алгебры логики по заданной таблице истинности
- •Контрольные вопросы и упражнения
- •3.7 Некоторые замкнутые классы (классы Поста). Понятие базиса
- •Контрольные вопросы и упражнения
- •3.8 Методы минимизации логических функций
- •Контрольные вопросы
- •3.9 Неполностью определенные логические функции
- •3.10 Формы представления булевых функций
- •3.10.1 Семантические деревья
- •3.10.2 Бинарные диаграммы решений (бдр)
- •3.11 Построение логических схем
- •Контрольные вопросы
- •3.12 Логические конечные автоматы
- •3.12.1 Процессы
- •3.12.2 Конечные автоматы
- •3.12.2.1 Конечные автоматы без памяти (комбинационные)
- •3.12.2.2 Конечные автоматы с памятью (последовательностные)
- •Контрольные вопросы
- •Библиографический список
Контрольные вопросы
1. Что такое логический конечный автомат?
2. Представьте в виде рисунка логический конечный автомат.
3. Что такое такт конечного логического автомата?
4. Приведите пример конечного автомата без памяти.
5. Приведите пример конечного автомата с памятью.
6. Приведите пример конечного автомата с обратной связью по выходу.
Библиографический список
Акимов В.А. Дискретная математика: логика, группы, графы. М.: Лаборатория Базовых Знаний, 2003, 376 с.
Стол Роберт Р. Множества. Логика. Аксиоматические теории. Пер. с англ. Ю.А. Гастева И.Х. Шмаина. Под ред. Ю.А. Шихановича. М., «Просвещение», 1968, 232 с.
Ершов Ю.А., Полюнин Е.А. Математическая логика: Учебное пособие для вузов. М.: Наука. Гл. ред. физ. – мат. лит., 1987, 336 с.
Лавров И.А., Максимова Л.Л. Задачи по теории множеств, математической логике и теории алгоритмов. М.: Высшая школа, 2003, 256 с.
Р. Хаггарти Дискретная математика для программистов Москва: Техносфера, 2003, 320 с.
Гончарова Г.А., Мочалин А.А. Элементы дискретной математики: Учебное пособие. – М.: ФОРУМ: ИНФРА-М, 2004, 128 с.
7. Судоплатов С.В., Овчинникова Е.В. Элементы дискретной математики: Учебник. – М.: ИНФРА – М; Новосибирск: НГТУ, 2003, 280 с. – (Серия «Высшее образование»)
8. Новиков Ф.А. Дискретная математика для программистов. – СПб: Питер, 2001, 304 с.: ил.