Лекций: 34

Практических: 34

Лабораторных: 0

BF.4

Теория булевых функций

(курс – 2, семестр – 4)

ECTS: 2

Лектор

Кандидат технических наук, доцент кафедры уравнений математической физики

Цель курса

Повышение уровня профессиональной компетентности, умение ориентироваться в вопросах представления и минимизации булевых функций.

Образовательная цель: приобретение студентами знаний о свойствах булевых функций, о методах представления и минимизации, о значении теории булевых функций для дискретной математики, математической кибернетики, программирования и вычислительной техники.

Развивающая цель: формирование у студентов навыков в области

представления и минимизации булевых функций.

Базовые курсы

Теория булевых функций существенно использует основные положения и методы дискретной математики.

Содержание

Тема 1. Булевы функции и способы задания. Свойства булевых функций. Симметрические булевы функции.

Тема 2. Минимизация булевых функций в классе ДНФ. Методы минимизации. Решение задач.

Тема 3. Полиномиальное разложение булевых функций. Полиномы Жегалкина, Рида-Маллера. Минимизация полиномов Рида-Маллера. Арифметические полиномы. Решение задач.

Тема 4. Функциональная полнота. Замыкание множеств. Основные замкнутые классы. Критерий Поста о функциональной полноте. Решение задач.

Методика

преподавания

Лекции и лабораторные занятия.

Литература

1.  Глушков цифровых автоматов. М.: Физматгиз, 1962.

2.  Поспелов методы анализа и синтеза схем. М.: Энергия, 1974.

3.  Шоломов теории дискретных и вычислительных

устройств. М.: Наука, 1980.

4. Яблонский в дискретную математику. М.: Наука,

1986.

Экзаменационная

методика

Зачет

Рекомендуется

Для студентов второго курса специализации «Математическая электроника» механико-математического факультета.

Примечания