🎓

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

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

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

Требования:

Знание математики на школьном уровне.