1 |
Название дисциплины |
Теория булевых функций |
2 |
Курс обучения |
Курс 1, специальность: Математика. Научно-конструкторская деятельность. |
3 |
Семестр обучения |
2 |
4 |
Количество кредитов |
2 |
5 |
Ф.И.О. лектора |
Кандидат технических наук, доцент Супрун Валерий Павлович |
6 |
Цели изучения дисциплины |
Ознакомление с задачами и методами теории булевых функций – одного из разделов дискретной математики. Формирование навыков дискретного математического мышления и умения применять его при решении конкретных (типовых) задач. В результате изучения студент должен уметь: — формулировать основные утверждения теории булевых функций; — применять основные утверждения для решения типовых задач проектирования устройств вычислительной техники; — активно использовать основные положения и методы теории булевых функций при изучении последующих разделов дискретной математики. |
7 |
Пререквизиты |
Начальные сведения из комбинаторики и теории множеств, линейная алгебра |
8 |
Содержание дисциплины |
Определение и способы задания булевых функций. Минимизация и полиномиальное разложение булевых функций. Булево дифференцирование. Замкнутые классы булевых функций. Проблема функциональной полноты. |
9 |
Рекомендуемая литература |
1. Глушков В.М. Синтез цифровых автоматов. М.: Физматгиз, 1962. 2. Поспелов Д.А. Логические методы анализа и синтеза схем. М.: Энергия, 1974. 3. Яблонский С.В. Введение в дискретную математику. М.: Наука, 1986. 4. Супрун В.П. Основы теории булевых функций. М.: Ленанд, 2017. |
10 |
Методы преподавания |
Диалоговый, наглядный, эвристический, проблемный, исследовательский |
11 |
Язык обучения |
Русский |
12 |
Условия (требования), текущий контроль |
Теоретические коллоквиумы, письменные контрольные работы |
13 |
Форма текущей аттестации |
Зачет |
Тэорыя булевых функцый (бел.яз)