09.03.03 (Б) Б1.О.11 Математическая логика и теория алгоритмов (Марсенич И.А.)
Содержание модуля 1
Требуемые условия завершения
- Алгебра логики. Понятие высказывания
- Логические операции. Таблицы истинности
- Логические формулы. Законы алгебры логики
- Методы решения логических задач
- Алгебра переключательных схем
- Булевы функции
- Канонические формы логических формул. Теорема о СДНФ
- Минимизация булевых функций в классе дизъюнктивных нормальных форм (дополнительно*)
- Полные системы булевых функций
- Элементы схемотехники. Логические схемы
Последнее изменение: пятница, 27 ноября 2020, 14:33
