| п/п | Наименование разделов тем | Даты проведения |
|---|---|---|
| 0 | Введение в предмет.
Задачи предмета. Связь с другими дисциплинами. |
00 |
| Раздел 1. Cистемы счисления | ||
| 1 | Тема 1.1 Cистемы счисления 10я, 8я, 16я, 2я. Перевод чисел из одних систем счисления в другие. | 00 |
| 2 | Тема 1.2 Двоичная арифметика. | 00 |
| 3 | Пpактическое занятие 1 Перевод чисел из одной системы счисления в другую. | 00 |
| Раздел 2. Основы теории множеств. | ||
| 4 | Тема 2.1 Основные понятия теории множеств. | 00 |
| 5 | Тема 2.2 Операции над множествами. | 00 |
| 6 | Тема 2.3 Упорядочение элементов и прямое произведение множеств. Соответствия. | 00 |
| 7 | Тема 2.4 Отображения и функции. Отношения. | 00 |
| 8 | Пpактическое занятие 2 Выполнение теоретико-множественных операций. | 00 |
| Раздел 3. Основы логики. | ||
| 9 | Тема 3.1 Основные логические операции. Важнейшие равносильности алгебры логики. Таблица истинности. | 00 |
| 10 | Тема 3.2 Нормальные формы алгебры логики. | 00 |
| 11 | Тема 3.3 Построение СКНФ и СДНФ интерпретацией. | 00 |
| 12 | Тема 3.4 Порядок приведения формул логики к СДНФ и СКНФ. | 00 |
| 13 | Пpактическое занятие 3 Приведение формул логики к СКНФ и СДНФ. | 00 |
| 14 | Тема 3.5 Булевы функции. | 00 |
| 15 | Тема 3.6 Двойственность в алгебре логики. | 00 |
| 16 | Тема 3.7 Алгебра Жегалкина и линейные функции. | 00 |
| 17 | Тема 3.8 Алгоритм Квайна получения МДНФ. | 00 |
| 18 | Тема 3.9 Представление булевой функции в виде МДНФ графическим методом. | 00 |
| 19 | Тема 3.10 Важнейшие замкнутые классы.Полнота множества функций. Теорема Поста. | 00 |
| 20 | Тема 3.11 Переход к базисам И-НЕ, ИЛИ-НЕ. | 00 |
| 21 | Пpактическое занятие 4 Приведение формул логики к МДНФ и МКНФ. | 00 |
| 22 | Пpактическое занятие 5 Контрольная работа. Основы логики. | 00 |
| Раздел 4. Предикаты. Бинарные отношения. | ||
| 23 | Тема 4.1 Понятие предиката. Логические операции над предикатами. Кванторные операции. | 00 |
| 24 | Тема 4.2 Формулы логики предикатов. Равносильные формулы логики предикатов. Предваренная нормальная форма. | 00 |
| 25 | Тема 4.3 Общезначимость и выполнимость формул. Использование предикатов для записи математических понятий. | 00 |
| 26 | Тема 4.4 Понятие бинарное отношение, n-местные отношения. Булева алгебра отношений. Булева алгебра матриц. | 00 |
| 27 | Тема 4.5 Композиция бинарных отношений. Булево произведение матриц. Бинарные отношения на множестве. Свойства бинарных отношений. | 00 |
| 28 | Пpактическое занятие 6 Предикаты. Бинарные отношения. | 00 |
| Раздел 5. Отображения. Подстановки. | ||
| 29 | Тема 5.1 Взаимнооднозначное отображение. Обратное отображение. Методика нахождения большой композиционной степени для отдельного элемента. Подстановка. | 00 |
| 30 | Тема 5.2 Операция композиции. | 00 |
| 31 | Тема 5.3 Простейшие уравнения с подстановками. | 00 |
| 32 | Пpактическое занятие 7 Построение диаграмм отображений. | 00 |
| Раздел 6. Метод математической индукции. | ||
| 33 | Тема 6.1 Метод математической индукции. | 00 |
| Раздел 7. Алгебра вычетов по модулю n. | ||
| 34 | Тема 7.1 Алгебра вычетов по модулю n. | 00 |
| 35 | Тема 7.2 Обратимые вычеты. Методика решения уравнений в алгебре вычетов. | 00 |
| 36 | Пpактическое занятие 8 Решение уравнений с вычетами. | 00 |
| Раздел 8. Генерирование комбинаторных объектов. | ||
| 37 | Тема 8.1 Генерирование комбинаторных объектов. | 00 |
| Раздел 9. Основы теории графов. | ||
| 38 | Тема 9.1 Основные определения теории графов. | 00 |
| 39 | Тема 9.2 Элементы графов. | 00 |
| 40 | Тема 9.3 Виды графов и операции над графами. | 00 |
| 41 | Тема 9.4 Представление графов в ЭВМ. | 00 |
| 42 | Тема 9.5 Орграфы и бинарные отношения. | 00 |
| 43 | Тема 9.6 Использование графов для решения задач оптимизации. | 00 |
| 44 | Пpактическое занятие 9 Решение задач оптимизации с помощью графов. | 00 |
| Раздел 10. Основы теории кодирования. | ||
| 45 | Тема 10.1 Задача кодирования. Алфавитное кодирование. Кодирование с минимальной избыточностью. | 00 |
| 46 | Тема 10.2 Оптимальное кодирование. Помехоустойчивое кодирование. | 00 |
| 47 | Тема 10.3 Сжатие данных. Шифрование. | 00 |
| 48 | Пpактическое занятие 10 Задачи кодирования. | 00 |
| Раздел 11. Элементы теории автоматов. | ||
| 49 | Тема 11.1 Автоматное преобразование информации. Реализация КА. | 00 |
| 50 | Тема 11.2 Эквивалентность КА: теорема Мура. | 00 |
| 51 | Тема 11.3 Минимизация КА. | 00 |
| 52 | Тема 11.4 Автоматы Мили и Мура. | 00 |
| 53 | Итоговое занятие. | 00 |