Образовательные ресурсы | Научно-образовательные ресурсы | Образовательные программы
Дискретная математика. Часть 2 | |
Автор(ы) | Громов Максим Леонидович |
Предметная область | Информатика и информационные технологии |
Уровень образования | Высшее профессиональное |
Целевая группа | Студент |
Вид ресурса | Электронный учебный курс |
Вид носителя | Интернет-ресурс |
Форма доступа | Записанные на курс пользователи |
Формат представления | Курс в СДО "Электронный университет - MOODLE" |
Размещение ресурса | http://info.rff.tsu.ru/course/view.php?id=28 |
Правообладатель | Томский государственный университет |
Контактная информация | Аренкина Екатерина Андреевна Телефон: (3822) 52-94-94 Факс: (3822) 52-95-79 E-mail: office@ido.tsu.ru |
Аннотация | В данном курсе рассматриваются двоичная диаграмма решений (BDD) и сокращённая двоичная диаграмма решений, алгоритмы выполнения различных операций над BDD и их сложность, конъюнктивная нормальная форма (КНФ) и задача выполнимости КНФ,а также формулируются задачи оптимизации и синтеза цифровых схем в форме задачи выполнимости КНФ. |
Год издания | 2013 |
Место издания | Томск |
Регион | Томская обл. |
Технические требования |