🎓
Логика и теория множеств
Математика и статистика

- Уроков: 29
- Сложность: easy
- Аудитория: Для всех, кто хочет разобраться в математических основах компьютерных наук. Несколько первых уроков курса открыты и помогут вам понять, будет ли курс вам интересен.
Математика и статистика
Платный
Логика и теория множеств — это основа формального мышления и построения вычислений. Мы научимся формулировать утверждения, работать с кванторами, множествами и операциями над ними, а также увидим, как логика применяется в компьютерных науках (в частности, научимся пользоваться SAT-солверами).
Логика и теория множеств — это основа формального мышления и построения вычислений. Мы научимся формулировать утверждения, работать с кванторами, множествами и операциями над ними, а также увидим, как логика применяется в компьютерных науках (в частности, научимся пользоваться SAT-солверами). Вы решите много задач, а мы поможем вам в этом: для каждой задачи мы приводим подробное решение, а также быстро отвечаем на вопросы на форуме.
Требования:
Знание математики на школьном уровне.