- О курсе
- План занятий
- Экзамен экстерном
- Лекция 1
- Введение
- Учебные дисциплины направления: Дискретный анализ
- Элементы математической логики. Исторический и философский экскурс
- Функции алгебры логики (Ф.А.Л.)
- Элементарные функции алгебры логики
- Формулы
- Коммутативность, ассоциативность, дистрибутивность операций
- О записи формул
- Теорема 1. О разложении функции алгебры логики в дизъюнктивную форму по одной переменной
- Тест 1
- Тест 2
- Тест 3
- Лекция 8
- Введение
- Разбиение множества из n элемкентов на k классов
- Конкретные значения количества разбиений S(n,k)
- Утверждение 2.1. О рекуррентной формуле для чисел разбиений
- Доказательство Утверждения 2.1
- Пример на формулу для чисел разбиений
- Сюрьективное отображение
- Основные комбинаторные соотношения для чисел Стирлинга II рода
- Числа Белла
- Размещение n одинаковых обектов по m различным ящикам
- Лекция 10
- Тест 4
- Тест 5
- Лекция 15
- Введение
- Ориентированные графы с весами ребер
- Кратчайший путь, расстояние
- Приложения задачи поиска кратчайшего пути
- Сложность задач о нахождении кратчайших путей от источника до всех остальных вершин
- Алгоритм поиска кратчайших путей в графе с нетрицательными весами ребер
- Алгоритм нахождения кратчайших путей в графе без циклов отрицательной длины
- Тест 6
- Экзамен
Вы можете этот курс.
Опубликован: 25.12.2009 | Доступ: свободный | Студентов: 939 / 38 | Оценка: 4.80 / 4.40 | Длительность: 06:27:00
Специальности: Программист, Математик
Лекция 4:
Критерий полноты
< Лекция 1 || Лекция 4
Аннотация: Лемма о нелинейной функции. Критерий полноты. Предполные классы функций алгебры логики. Следствия из критерия полноты. Представление о результатах Поста.
< Лекция 1 || Лекция 4
© НОУ «ИНТУИТ»,
2003 – 2024
2003 – 2024
Телефон: +7 (499) 253-9312, WhatsApp, Telegram, Viber: +7 (977) 954-84-50, факс: +7 (499) 253-9310, e-mail: info@intuit.ru, Skype: Intuit.ru