Цели и задачи дисциплины
Цель дисциплины - формирование знаний о двоичных функциях и способах их задания, умений получать специальные представления булевых функций; формирование навыков минимизации булевых функций, умений реализовывать полные системы булевых функций формулами и схемами.
Основные задачи освоения дисциплины:
- сформировать у студентов общее технико-математическое мировоззрение и понимание роли булевой алгебры в различных сферах профессиональной деятельности;
- освоение студентами основ применения теории булевых функций при решении технических задач.
Краткое содержание дисциплины
В рамках дисциплины рассматриваются вопросы теории булевых функций: способы задания булевых функций, законы алгебры логики, дизъюнктивные и конъюнктивные нормальные формы, совершенные дизъюнктивные и конъюнктивные нормальные формы, минимизация булевых функций.