ВУЗ:
Составители:
Рубрика:
71
61 - 68 3+ D
51 - 68 3
51 - 60 3 E
31 - 50 2+ FX
0 - 50 2
0 - 30 2 F
51 – 100 Зачет Зачет Passed
Студенты обязаны сдавать все задания в сроки,
установленные преподавателем. Работы, предоставленные с
опозданием, не оцениваются, коллоквиумы не переписываются.
Контрольные работы переписываются однократно по правилам,
установленным на факультете. Студенты, получившие в течение
семестра, оценку 3 или 4 (зачет) и желающие повысить свою
оценку, допускаются к экзамену (итоговая аттестация).
Экзаменационная работа оценивается из 20 баллов
независимо от
оценки, полученной в семестре. Оценка менее 51 балла (<3),
полученная при итоговой аттестации, является
неудовлетворительной.
Студенты, набравшие менее 31 балла в течение семестра не
допускаются к итоговой аттестации.
7. Темы лекций, семинарских занятий, лабораторных
работ
Темы лекций
Тема 1. Введение в алгебру логики
Прямое произведение множеств. Соответствия и функции.
Алгебры. Функции алгебры логики. Суперпозиции и формулы.
Булева Алгебра. Принцип двойственности. Совершенная
дизъюнктивная нормальная форма (СДНФ). Совершенная
конъюнктивная нормальная форма (СКНФ). Разложение булевых
функций по переменным. Построение СДНФ для функции,
заданной таблично.
Тема 2. Минимизация булевых функций
Проблема минимизации. Порождение простых
импликантов.
Алгоритм Куайна и Мак-Клоски. Таблицы простых импликантов.
Страницы
- « первая
- ‹ предыдущая
- …
- 69
- 70
- 71
- 72
- 73
- …
- следующая ›
- последняя »
