ВУЗ:
Составители:
Рубрика:
Кафедра: Математика УП:351400-4-123_R.pli Стр. 4
13:10:21 22.03.2006 Математика
4.2 Разделы дисциплины и виды занятий
Код
учебного
занятия
Номер
учебной
недели
Вид и номер
занятия
(пары)
Объем
в часах
Тема занятия
СЕМЕСТР 3
(18 учебных недель. В неделю: 1,0 час. лекций; 1,0 час. лабораторных; 1,0 час. практики)
Модуль 1 (19 неделя - контрольная точка)
Раздел 1. Множества, отношения и алгебраические структуры (28 час)
3.01.01.01
1-2 Лекц. 1 2 Множества и отношения. Операции над множествами, сравнение множеств,
р
азбиения и покрытия. Отношения: упорядоченные пары, прямое
произведение множеств, композиция отношений. Функции. Отношения
эквивалентности. Отношения порядка.
3.01.01.02
1-2 Практ. 1 2 Операции над множествами, сравнение множеств, разбиения и покрытия.
Прямое произведение множеств. Отношения эквивалентности.
3.01.01.03
1-2 Лаб. 1 2 Операции над множествами, сравнение множеств, разбиения и покрытия.
Прямое произведение множеств. Отношения эквивалентности.
3.01.01.04 Сам. работа 8 Бинарные и тернарные отношения
3.01.01.05
3-4 Лекц. 2 2 Алгебраические структуры. Операции и алгебры. Морфизмы:
гомоморфизм, изоморфизм. Алгебра с одной операцией: полугруппы,
моноиды, группы. Алгебра с двумя операциями: кольца, поля. Решетки.
Ограниченные решетки. Решетка с дополнением. Булевы алгебры.
3.01.01.06
3-4 Лаб. 2 2 Операции и алгебры. Алгебра с одной операцией: полугруппы, моноиды,
группы. Решетки. Булевы алгебры.
3.01.01.07
3-4 Практ. 2 2 Операции и алгебры. Алгебра с одной операцией: полугруппы, моноиды,
группы. Решетки. Булевы алгебры.
3.01.01.08 Сам. работа 8 Линейные пространства. Линейная независимость.
Раздел 2. Булевы функции и логические исчисления (28 час)
3.01.02.01
5-6 Лекц. 3 2 Булевы функции. Функции алгебры логики. Булевы функции одной
переменной. Булевы функции двух переменных. Реализация функций
формулами. Равносильные формулы. Алгебра булевых функций. Принцип
двойственности. Нормальные формы. Замкнутые классы, полнота.
3.01.02.02 5-6 Лаб. 3 2 Функции алгебры логики. Принцип двойственности. Нормальные формы.
3.01.02.03 5-6 Практ. 3 2 Функции алгебры логики. Принцип двойственности. Нормальные формы.
3.01.02.04 Сам. работа 8 Многочлены И. И. Жегалкина и их применение.
3.01.02.05
7-8 Лекц. 4 2 Логические исчисления. Логические связки. Логическое следование
логическая эквивалентность. Формальные теории. Общезначимость и
непротиворечивость. Исчисление высказываний. Дедукция. Исчисление
предикатов. Теоремы Геделя о неполноте.
3.01.02.06 7-8 Лаб. 4 2 Логические связки. Исчисление высказываний. Исчисление предикатов.
3.01.02.07 7-8 Практ. 4 2 Логические связки. Исчисление высказываний. Исчисление предикатов.
3.01.02.08 Сам. работа 8 Штрих Шефера и стрелка Пирса.
Раздел 3. Комбинаторика (29 час)
3.01.03.01
9-10 Лекц. 5 2 Комбинаторика. Размещения. Размещения без повторений. Перестановки.
Сочетания. Сочетания с повторениями. Биномиальные коэффициенты.
Бином Ньютона. Свойства биномиальных коэффициентов. Треугольник
Паскаля. Принцип включения и исключения.
3.01.03.02
9-10 Лаб. 5 2 Размещения. Перестановки. Сочетания. Бином Ньютона. Свойств
а
биномиальных коэффициентов.
3.01.03.03
9-10 Практ. 5 2 Размещения. Перестановки. Сочетания. Бином Ньютона. Свойств
а
биномиальных коэффициентов.
3.01.03.04
Сам. работа 8 Полиномиальная теорема и ее применения. Полиномиальные
коэффициенты.
3.01.03.05
11-12 Лекц. 6 2 Кодирование. Алфавитное кодирование. Таблица кодов. Минимизация
длины кода сообщения. Кодовое расстояние. Сжатие данных. Шифрование
с помощью случайных чисел. Модулярная арифметика.
3.01.03.06
11-12 Лаб. 6 2 Кодирование. Алфавитное кодирование. Таблица кодов. Модулярная
арифметика.
3.01.03.07
11-12 Практ. 6 2 Кодирование. Алфавитное кодирование. Таблица кодов. Модулярная
арифметика.
3.01.03.08 Сам. работа 9 Сравнения и их применение.
Раздел 4. Графы (48 час)
3.01.04.01
13-14 Лекц. 7 2 Графы. Определения графов. Смежность. Изоморфизм графов. Подграфы.
Валентность. Маршруты, цепи, циклы. Расстояние между вершинами.
Связность. Матрица смежности. Матрица инциденций. Обходы графов.
3.01.04.02 13-14 Лаб. 7 2 Графы. Подграфы. Маршруты, цепи, циклы. Матрица смежности. Матриц
а
Кафедра: Математика УП:351400-4-123_R.pli Стр. 4
4.2 Разделы дисциплины и виды занятий
Код Номер Вид и номер
Объем
учебного учебной занятия Тема занятия
в часах
занятия недели (пары)
СЕМЕСТР 3
(18 учебных недель. В неделю: 1,0 час. лекций; 1,0 час. лабораторных; 1,0 час. практики)
Модуль 1 (19 неделя - контрольная точка)
Раздел 1. Множества, отношения и алгебраические структуры (28 час)
1-2 Лекц. 1 2 Множества и отношения. Операции над множествами, сравнение множеств,
разбиения и покрытия. Отношения: упорядоченные пары, прямое
3.01.01.01
произведение множеств, композиция отношений. Функции. Отношения
эквивалентности. Отношения порядка.
1-2 Практ. 1 2 Операции над множествами, сравнение множеств, разбиения и покрытия.
3.01.01.02
Прямое произведение множеств. Отношения эквивалентности.
1-2 Лаб. 1 2 Операции над множествами, сравнение множеств, разбиения и покрытия.
3.01.01.03
Прямое произведение множеств. Отношения эквивалентности.
3.01.01.04 Сам. работа 8 Бинарные и тернарные отношения
3-4 Лекц. 2 2 Алгебраические структуры. Операции и алгебры. Морфизмы:
гомоморфизм, изоморфизм. Алгебра с одной операцией: полугруппы,
3.01.01.05
моноиды, группы. Алгебра с двумя операциями: кольца, поля. Решетки.
Ограниченные решетки. Решетка с дополнением. Булевы алгебры.
3-4 Лаб. 2 2 Операции и алгебры. Алгебра с одной операцией: полугруппы, моноиды,
3.01.01.06
группы. Решетки. Булевы алгебры.
3-4 Практ. 2 2 Операции и алгебры. Алгебра с одной операцией: полугруппы, моноиды,
3.01.01.07
группы. Решетки. Булевы алгебры.
3.01.01.08 Сам. работа 8 Линейные пространства. Линейная независимость.
Раздел 2. Булевы функции и логические исчисления (28 час)
5-6 Лекц. 3 2 Булевы функции. Функции алгебры логики. Булевы функции одной
переменной. Булевы функции двух переменных. Реализация функций
3.01.02.01
формулами. Равносильные формулы. Алгебра булевых функций. Принцип
двойственности. Нормальные формы. Замкнутые классы, полнота.
3.01.02.02 5-6 Лаб. 3 2 Функции алгебры логики. Принцип двойственности. Нормальные формы.
3.01.02.03 5-6 Практ. 3 2 Функции алгебры логики. Принцип двойственности. Нормальные формы.
3.01.02.04 Сам. работа 8 Многочлены И. И. Жегалкина и их применение.
7-8 Лекц. 4 2 Логические исчисления. Логические связки. Логическое следование
логическая эквивалентность. Формальные теории. Общезначимость и
3.01.02.05
непротиворечивость. Исчисление высказываний. Дедукция. Исчисление
предикатов. Теоремы Геделя о неполноте.
3.01.02.06 7-8 Лаб. 4 2 Логические связки. Исчисление высказываний. Исчисление предикатов.
3.01.02.07 7-8 Практ. 4 2 Логические связки. Исчисление высказываний. Исчисление предикатов.
3.01.02.08 Сам. работа 8 Штрих Шефера и стрелка Пирса.
Раздел 3. Комбинаторика (29 час)
9-10 Лекц. 5 2 Комбинаторика. Размещения. Размещения без повторений. Перестановки.
Сочетания. Сочетания с повторениями. Биномиальные коэффициенты.
3.01.03.01
Бином Ньютона. Свойства биномиальных коэффициентов. Треугольник
Паскаля. Принцип включения и исключения.
9-10 Лаб. 5 2 Размещения. Перестановки. Сочетания. Бином Ньютона. Свойства
3.01.03.02
биномиальных коэффициентов.
9-10 Практ. 5 2 Размещения. Перестановки. Сочетания. Бином Ньютона. Свойства
3.01.03.03
биномиальных коэффициентов.
Сам. работа 8 Полиномиальная теорема и ее применения. Полиномиальные
3.01.03.04
коэффициенты.
11-12 Лекц. 6 2 Кодирование. Алфавитное кодирование. Таблица кодов. Минимизация
3.01.03.05 длины кода сообщения. Кодовое расстояние. Сжатие данных. Шифрование
с помощью случайных чисел. Модулярная арифметика.
11-12 Лаб. 6 2 Кодирование. Алфавитное кодирование. Таблица кодов. Модулярная
3.01.03.06
арифметика.
11-12 Практ. 6 2 Кодирование. Алфавитное кодирование. Таблица кодов. Модулярная
3.01.03.07
арифметика.
3.01.03.08 Сам. работа 9 Сравнения и их применение.
Раздел 4. Графы (48 час)
13-14 Лекц. 7 2 Графы. Определения графов. Смежность. Изоморфизм графов. Подграфы.
3.01.04.01 Валентность. Маршруты, цепи, циклы. Расстояние между вершинами.
Связность. Матрица смежности. Матрица инциденций. Обходы графов.
3.01.04.02 13-14 Лаб. 7 2 Графы. Подграфы. Маршруты, цепи, циклы. Матрица смежности. Матрица
13:10:21 22.03.2006 Математика
Страницы
- « первая
- ‹ предыдущая
- …
- 2
- 3
- 4
- 5
- 6
- …
- следующая ›
- последняя »
