С НОВЫМ учебным ГОДОМ
В.Н. Нефедов , В.А. Осипова Курс дискретной математики (книга в виде сайта)
В.Н. Нефедов , В.А. Осипова Курс дискретной математики (книга в виде презентации)
В.Н. Нефедов ДИСКРЕТНЫЕ ЗАДАЧИ ОПТИМИЗАЦИИ
ТЕОРИЯ МНОЖЕСТВ
Табличный метод доказательства тождеств
Решение систем уравнений в теории множеств
Мощность множества (кардинальное число множества)
МАТЕМАТИЧЕСКАЯ ЛОГИКА
Логика высказываний. Основные понятия. Логические законы. Правильные рассуждения.
Полные системы булевых функций
Формальные аксиоматические теории
Полнота и непротиворечивость исчисления высказываний
Логика предикатов. Предикаты. Кванторы. Интерпретация.
Основные равносильности логики предикатов. Предваренная нормальная форма.
Истинность формул в логике предикатов. Правильные рассуждения.
ТЕОРИЯ ГРАФОВ
Начальные понятия теории графов
Начальные понятия теории графов (продолжение)
Поиск специальных путей и маршрутов в графах
Нахождение компонент сильной связности графа
ЭФФЕКТИВНАЯ ВЫЧИСЛИМОСТЬ
ЭЛЕМЕНТЫ ТЕОРИИ КОДИРОВАНИЯ
ТЕОРИЯ ГРУПП
Алгебраические структуры. Определения.
Изоморфизм. Смежные классы. (Яшина-Смерчинская)