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

Логика: высказывания, таблицы истинности, импликация

Изучите основы логики, включая высказывания, таблицы истинности и импликацию. Погружение в логические операции поможет в программировании и анализе данных.

Нормальные формы: ДНФ/КНФ и преобразования

Лекция посвящена нормальным формам логических выражений, их преобразованиям и практическому значению в цифровой логике.

Множества: операции, декартово произведение

Лекция посвящена множествам, их операциям и декартовому произведению. Освещаются основные понятия дискретной математики и логические связи.

Отношения: эквивалентность, порядок, классы

Лекция посвящена бинарным отношениям, их свойствам и классификации в системах. Рассматриваются отношения эквивалентности и порядка с примерами.

Функции и отображения: инъекция/сюръекция/биекция

Лекция посвящена функциям и их свойствам: инъекции, сюръекции и биекции, а также их применению в дискретной математике и алгоритмах.

Комбинаторика: правила суммы и произведения

Изучите основные принципы комбинаторики: правила суммы и произведения. Узнайте, как эти правила помогают в решении задач оценки емкости системы.

Перестановки, размещения, сочетания

Изучите перестановки, размещения и сочетания в комбинаторике, их свойства и примеры применения.

Биномиальные коэффициенты и формула Ньютона

Лекция о биномиальных коэффициентах и формуле Ньютона, их роли в комбинаторике и инженерии данных.

Индукция: доказательство и типовые шаблоны

Лекция объясняет принцип математической индукции и его применение в доказательствах. Рассматриваются основные шаги и типовые шаблоны доказательств.

Рекуррентные соотношения: примеры и решения

В лекции рассматриваются рекуррентные соотношения, их примеры и применение в дискретной математике. Понимание этих зависимостей важно для анализа алгоритмов.

Графы: понятия, степени, связность

Лекция посвящена основам теории графов, их структуре и свойствам, а также применению в сетевых технологиях.

Булева алгебра в цифровой логике

Лекция посвящена булевой алгебре как фундаменту цифровой логики, анализируя ее операции и правила.