Предисловие

• МОЖНО ЛИ ДОВЕРЯТЬ МАТЕМАТИКЕ? | IQ (0мин.)

Раздел I. МНОЖЕСТВА И ОТНОШЕНИЯ

• Тема 1. Множества (364мин.)
• • 1.1. Понятие множества (55мин.)
  • 1.2. Подмножества (18мин.)
  • 1.3. Операции над множествами (55мин.)
  • 1.4. Диаграммы Эйлера - Венна (36мин.)
  • 1.5. Алгебра множеств (18мин.)
  • 1.6. Прямое произведение множеств (18мин.)
  • 1.7. Отображения и их свойства (91мин.)
  • Резюме (18мин.)
  • Практикум (73мин.)
  • Множества (16мин.)
• Тема 2. Счетные множества (382мин.)
• • 2.1. Мощность множества (36мин.)
  • 2.2. Натуральный ряд (55мин.)
  • 2.3. Метод математической индукции (36мин.)
  • 2.4. Свойства счетных множеств (36мин.)
  • 2.5. Диагональный метод Кантора (36мин.)
  • Резюме (18мин.)
  • Практикум (164мин.)
  • Счетные множества (18мин.)
• Тема 3. Отношения на множествах (291мин.)
• • 3.1. Соответствия (55мин.)
  • 3.2. Композиция соответствий (18мин.)
  • 3.3. Бинарные отношения и их свойства (55мин.)
  • 3.4. Отношения эквивалентности (36мин.)
  • Резюме (18мин.)
  • Практикум (109мин.)
  • Отношения на множествах (16мин.)
• Тема 4. Упорядоченные множества и решетки (309мин.)
• • 4.1. Отношения порядка (73мин.)
  • 4.2. Полурешетки и решетки (73мин.)
  • 4.3. Булевы алгебры (36мин.)
  • Резюме (18мин.)
  • Практикум (109мин.)
  • Упорядоченные множества и решетки (18мин.)

Раздел II. МАТЕМАТИЧЕСКАЯ ЛОГИКА

• Тема 5. Логика высказываний (291мин.)
• • 5.1. Высказывания и операции над ними (36мин.)
  • 5.2. Формулы логики высказываний (36мин.)
  • 5.3. Равносильность формул (36мин.)
  • 5.4. Принцип двойственности (36мин.)
  • 5.5. Тождественно истинные формулы (18мин.)
  • 5.6. Система натурального вывода (36мин.)
  • 5.7. Метод резолюций (36мин.)
  • Резюме (18мин.)
  • Практикум (55мин.)
  • Логика высказываний (34мин.)
• Тема 6. Логика предикатов (291мин.)
• • 6.1. Понятие предиката (36мин.)
  • 6.2. Логические операции над предикатами (36мин.)
  • 6.3. Кванторы (36мин.)
  • 6.4. Формулы логики предикатов и логические законы (55мин.)
  • 6.5. Выполнимые формулы и проблема разрешения (18мин.)
  • 6.6. Логика предикатов и математическая практика (18мин.)
  • Резюме (18мин.)
  • Практикум (73мин.)
  • Логика предикатов (14мин.)
• Тема 7. Формальные теории (255мин.)
• • 7.1. Формализация в математике (36мин.)
  • 7.2. Логические исчисления (91мин.)
  • 7.3. Теории первого порядка. Формальная арифметика (73мин.)
  • Резюме (18мин.)
  • Практикум (36мин.)
  • Формальные теории (14мин.)
• Тема 8. Булевы функции (437мин.)
• • 8.1. Двоичные векторы (36мин.)
  • 8.2. Понятие булевой функции (18мин.)
  • 8.3. Булевы функции одной и двух переменных (36мин.)
  • 8.4. Нормальные формы (73мин.)
  • 8.5. Полные системы булевых функций (18мин.)
  • 8.6. Важнейшие замкнутые классы булевых функций. Теорема Поста о полноте (36мин.)
  • 8.7. Характеристические векторы подмножеств конечного множества (36мин.)
  • Резюме (18мин.)
  • Практикум (164мин.)
  • Булевы функции (14мин.)

Раздел III. КОМБИНАТОРИКА

• Тема 9. Конечные множества и комбинаторика (346мин.)
• • 9.1. Правило суммы и правило произведения (55мин.)
  • 9.2. Принцип Дирихле (18мин.)
  • 9.3. Размещения и перестановки (55мин.)
  • 9.4. Сочетания (55мин.)
  • 9.5. Свойства биномиальных коэффициентов (36мин.)
  • 9.6. Принцип включения и исключения (36мин.)
  • Резюме (18мин.)
  • Практикум (91мин.)
  • Конечные множества и комбинаторика (16мин.)
• Тема 10. Вероятность (382мин.)
• • 10.1. Конечные вероятностные пространства (36мин.)
  • 10.2. Пространство равновероятных исходов (36мин.)
  • 10.3. Условная вероятность (55мин.)
  • 10.4. Независимые события (18мин.)
  • 10.5. Схема Бернулли (36мин.)
  • 10.6. Случайные величины (55мин.)
  • 10.7. Биномиальное распределение (18мин.)
  • 10.8. Неравенство Чебышёва. Закон больших чисел (18мин.)
  • Резюме (18мин.)
  • Практикум (91мин.)
  • Вероятность (18мин.)
• Тема 11. Комбинаторный анализ (655мин.)
• • 11.1. Степенные ряды (55мин.)
  • 11.2. Биномиальный ряд (36мин.)
  • 11.3. Производящие функции (73мин.)
  • 11.4. Рекуррентные соотношения (36мин.)
  • 11.5. Линейные рекуррентные соотношения (36мин.)
  • 11.6. Производящие функции линейных рекуррентных последовательностей (91мин.)
  • Резюме (18мин.)
  • Практикум (309мин.)
  • Комбинаторный анализ (14мин.)
• Тема 12. Числа Фибоначчи (364мин.)
• • 12.1. Простейшие свойства (36мин.)
  • 12.2. Формула Бине (55мин.)
  • 12.3. Золотое сечение (36мин.)
  • 12.4. Числа Фибоначчи и поиск экстремума (164мин.)
  • Резюме (18мин.)
  • Практикум (73мин.)
  • Числа Фибоначчи (14мин.)

Раздел IV. ГРАФЫ И ДЕРЕВЬЯ

• Тема 13. Графы (691мин.)
• • 13.1. Понятие графа (36мин.)
  • 13.2. Маршруты, цепи и циклы (36мин.)
  • 13.3. Эйлеровы цепи и циклы (36мин.)
  • 13.4. Матрицы смежности и инцидентности (55мин.)
  • 13.5. Бинарные отношения и графы (36мин.)
  • 13.6. Порядковая функция графа (55мин.)
  • 13.7. Внешняя и внутренняя устойчивость. Ядро (109мин.)
  • 13.8. Планарные графы (55мин.)
  • Резюме (36мин.)
  • Практикум (236мин.)
  • Графы (16мин.)
• Тема 14. Деревья (291мин.)
• • 14.1. Понятие дерева (36мин.)
  • 14.2. Остовное дерево связного графа (36мин.)
  • 14.3. Ориентированные и упорядоченные деревья (55мин.)
  • 14.4. Бинарные деревья (55мин.)
  • Резюме (18мин.)
  • Практикум (91мин.)
  • Деревья (12мин.)

Раздел V. МОДЕЛИ ДИСКРЕТНОЙ МАТЕМАТИКИ В ЭКОНОМИКЕ

• Тема 15. Функции выбора (400мин.)
• • 15.1. Понятие функции выбора (18мин.)
  • 15.2. Примеры функций выбора (55мин.)
  • 15.3. Логическое представление функций выбора (36мин.)
  • 15.4. Основные свойства функций выбора (36мин.)
  • 15.5. Логическое представление нормальных функций выбора (18мин.)
  • 15.7. Логическое представление турнирных функций выбора (55мин.)
  • Резюме (18мин.)
  • Практикум (182мин.)
  • Функции выбора (14мин.)
• Тема 16. Дискретные модели принятия решений (564мин.)
• • 16.1. Кооперативные игры (91мин.)
  • 16.2. Решение Неймана - Моргенштерна (73мин.)
  • 16.3. Устойчивые паросочетания (91мин.)
  • 16.4. Отношения предпочтения (73мин.)
  • 16.5. Теорема Эрроу (91мин.)
  • Резюме (36мин.)
  • Практикум (109мин.)
  • Дискретные модели принятия решений (20мин.)
• Тема 17. Биномиальная модель ценообразования (382мин.)
• • 17.1. Биномиальная решетка (55мин.)
  • 17.2. Опционы. Основные понятия (127мин.)
  • 17.5. Многопериодная модель (73мин.)
  • 17.6. Случайное блуждание. Числа Каталана (55мин.)
  • Резюме (18мин.)
  • Практикум (55мин.)
  • Биномиальная модель ценообразования (16мин.)

Раздел VI. МОДЕЛИ ДИСКРЕТНОЙ МАТЕМАТИКИ В ИНФОРМАТИКЕ

• Тема 18. Алгоритмы и вычислимость (200мин.)
• • 18.1. Уточнение понятия алгоритма (18мин.)
  • 18.2. Рекурсивные функции (73мин.)
  • 18.3. Вычислимость и разрешимость (18мин.)
  • Резюме (18мин.)
  • Практикум (73мин.)
  • Алгоритмы и вычислимость (10мин.)
• Тема 19. Элементы теории кодирования (291мин.)
• • 19.1. Двоичное кодирование (18мин.)
  • 19.2. Векторное пространство {0, 1}n (36мин.)
  • 19.3. Отображения {0, 1}n в {0, 1}m (36мин.)
  • 19.4. Блочные двоичные коды (55мин.)
  • 19.5. Коды Хемминга (36мин.)
  • 19.6. Линейные коды и матричная алгебра (18мин.)
  • Резюме (18мин.)
  • Практикум (73мин.)
  • Элементы теории кодирования (14мин.)
• Тема 20. Арифметика целых чисел и основы криптографии (491мин.)
• • 20.1. Основы теории делимости (55мин.)
  • 20.2. Кольцо вычетов (36мин.)
  • 20.3. Функция Эйлера (36мин.)
  • 20.4. Система шифрования RSA (36мин.)
  • 20.5. Сложность вычислений и односторонние функции (73мин.)
  • 20.6. Односторонние функции и схемы криптографических протоколов (91мин.)
  • 20.7. Протокол электронной подписи (36мин.)
  • Резюме (18мин.)
  • Практикум (127мин.)
  • Арифметика целых чисел и основы криптографии (18мин.)
• Тема 21. Модели реляционных баз данных (309мин.)
• • 21.1. Алгебра многоместных отношений (55мин.)
  • 21.2. Математическая модель реляционной базы данных (36мин.)
  • 21.3. Функциональные зависимости (36мин.)
  • 21.4. Нормальные формы (73мин.)
  • Резюме (18мин.)
  • Практикум (91мин.)
  • Модели реляционных баз данных (10мин.)

Рекомендуемая литература

Новые издания по дисциплине "Дискретная математика" и смежным дисциплинам

Завершение курса

• Тест:  Итоговое тестирование (40мин.)