Математическая логика

Теория множеств

Комбинаторика

Функции

Теория графов

Дискретная математика

Навык дискретной математики для укрепления теоретических знаний и лучшего понимания алгоритмов и структур данных

Начать учиться

Входит в подписку (более 50 навыков)

Павел Колотий

выпускник фронтенд

Программа обучения

1. Введение в теоретическую логику

3 упражнения

6 квизов

Логика

Нотации

Эквивалентность

Софизмы и парадоксы

Предикаты и квантификаторы

ПДНФ и ПКНФ

Основы логики

Введение в логику, Нотации, Парадоксы, Софизмы

Эквивалентность и предикаты

Эквивалентность, Законы де Моргана, Предикаты, Квантификаторы, Экзистенциальная квантификация

Правила логики и формы

Порядок квантификаторов, Отрицание, Доказательства, Формы, Полная дизъюнктивная нормальная форма, Полная конъюнктивная нормальная форма

2. Теория множеств

6 упражнений

3 квиза

Типы множеств

Объединение

Дополнение

Пересечение

Разность множеств

Законы де Моргана

Законы теории множеств

Закон де Моргана, Распределительный закон

Основы теории множеств

Типы множеств, Нотации, Непересекающиеся множества, Степень множества

Основные операции над множествами

Объединение, Пересечение, Дополнение, Разность множеств

3. Комбинаторика

3 упражнения

2 квиза

Подсчет

Биекция

Принцип включения и исключения

Производящая функция

Основы комбинаторики

Элементарные инструменты, Подсчет, Подсчет по биекции

Практическое применение

Задача о супружеских парах, Графы

Продвинутые методы

Принципы включения и исключения, Производящая функция

4. Функции

5 упражнений

2 квиза

Функции как правила

Рекурсия

Онто-функции

Частичное применение

Композиция

Обратные функции

Типы функций

Частичные функции, Онто-функции, Возрастающие и убывающие функции

Операции над функциями

Рекурсия, Композиция функций, Обратные функции, Инверсия

Основы функций

Функции как правила, Множества и функции, Графики, Равенство, Ограничения функций

5. Теория графов

5 упражнений

2 квиза

Нотация

Подграфы

Изоморфизм

Взвешенные графы

Деревья

Алгоритм Дейкстры

Гамильтонов цикл

NP-полнота

Связность

Теорема Менгера

Введение в графы

Типы графов, Нотации, Подграфы

Деревья и остовы

Деревья, Остовные деревья, Взвешенный граф

Пути и маршруты

Оптимизация маршрутов, Алгоритм Дейкстры, Эйлеровы схемы, Гамильтонов цикл

Сложные проблемы

NP-полнота, Раскрашивание графа, Диграфы

Структурные свойства

Связность графов, Изоморфизм, Двудольные графы

Продвинутые концепции

Связность, Теорема Менгера, Поточная сеть

Как проходит обучение

Просто и наглядно

Теория в удобном текстовом формате — легко читать даже с телефона. Живые примеры помогают понять, как всё работает. Материал выстроен так, чтобы вы двигались шаг за шагом, не упуская важных деталей

Проверяем и закрепляем знания

Учитесь на реальных задачах

Ваш AI наставник

Подписка от 2 400 ₽/мес

Этот навык уже входит в подписку. Оформи доступ и открывай все навыки сразу (50+)

Подписаться →