Количество часов:
Лекции - 32
Зачетная контрольная работа, зачет
Составил: профессор Губа В. С.

I. Функции алгебры логики (11 часов).

1. Основные определения и примеры. (2 часа)
2. Разложение булевых фукций по переменным, СДНФ, СКНФ. (2 часа)
3. Суперпозиция булевых фукций. Замкнутые классы. (2 часа)
4. Полные системы. Важнейшие замкнутые классы. (2 часа)
5. Предполные классы. Теорема Поста и ее следствия. (3 часа)

II. Фукции k-значной логики (10 часов).

1. Основные определения и примеры. (1 час)
2. Полные системы в k-значной логике. (2 часа)
3. Алгоритм распознавания полноты. (3 часа)
4. Предполные классы. Теорема Кузнецова. (2 часа)
5. Особенности k-значной логики. (2 часа)

III. Теория кодирования (11 часов).

1. Понятие кодирования. Однозначно декодируемые коды. (2 часа)
2. Алгоритм распознавания однозначности кодирования. (3 часа)
3. Коды с минимальной избыточностью ( коды Хаффмана). (3 часа)
4. Коды с исправлением ошибок ( коды Хэмминга). (3 часа)

Литература:

1. С. В. Яболонский. Введение в дискретную математику. — М.: Наука, 1979.
2. С. Г. Гиндикин. Алгебра логики в задачах. — М.: Наука, 1972.