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