Чему вы научитесь
- Записывать доказательства и находить ошибки в доказательствах
- Оценивать время работы алгоритмов
- Применять принцип математической индукции
- Доказывать существование, оптимальность и универсальность
- Пользоваться разными типами доказательств
О курсе
В этом первом курсе программы по дискретной математике мы будем изучать доказательства в дискретной математике. Доказательства важны и нужны во всех разделах компьютерных наук: нужно доказывать корректность программ, алгоритмов, протоколов, а также оценки на их эффективность. Мы познакомимся с распространёнными типами доказательств (доказательства существования, оптимальности, корректности; метод математической индукции; оценки скорости роста), а также узнаем, как доказательства классифицируются в компьютерных науках с вычислительной точки зрения (увидим примеры интерактивных и вероятностно проверяемых доказательств).
Вы увидите много применений идей дискретной математики в компьютерных науках (в частности, много кода на Python) и много примеров и визуализаций, а также решите более сорока задач. Мы поможем вам в этом: для каждой задачи мы приводим подробное решение, а также быстро отвечаем на вопросы на форуме.
Для кого этот курс
Начальные требования
Знание математики на школьном уровне.
Наши преподаватели
Как проходит обучение
В данном курсе мы будем изучать дискретную математику, идя от задач: для каждой важной темы мы предложим вам решить несколько тщательно отобранных задач, после чего разберём их и объясним, как именно соответствующая идея дискретной математики используется в решении. Это поможет вам сильно лучше разобраться в основных подходах. Для иллюстрации основных идей дискретной математики мы покажем вам много кода на Python: вы можете использовать такие куски кода, с одной стороны, как примеры использования дискретной математики в разных областях компьютерных наук, а с другой — как интерактивные примеры.
Программа курса
Сертификат
Входит в 1 программу
Что вы получаете
- Навыки и знания, необходимые для работы в области компьютерных наук
- Доступ к трёмстам задачам с автоматической проверкой и решениями
- Поддержку преподавателей: мы отвечаем на вопросы в течение суток
- Доступ к форуму решений: вы сможете увидеть разные способы решения одной и той же задачи
- Сертификат