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