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