Курс на Stepik
Обложка курса «Логика и теория множеств» на Stepik
1 890 ₽

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

Открыть на
STEPIK.ORG

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

Показатель Текущие показатели Рост
Значение 🏆 Рейтинг 3 дн 7 дн 30 дн
Количество учеников на курсе «Логика и теория множеств»Учеников на курсе 281
Сертификаты, выданные на курсе «Логика и теория множеств»Сертификатов выдано 5
Отзывы о курсе «Логика и теория множеств»Отзывов получено 1
Рейтинг курса «Логика и теория множеств»Рейтинг курса 5.000
Уроки в курсе «Логика и теория множеств»Количество уроков 29
Тесты в курсе «Логика и теория множеств»Количество квизов 48
Задачи с кодом в курсе «Логика и теория множеств»Количество задач с кодом 7
Время прохождения курса «Логика и теория множеств»Время прохождения курса
Стоимость курса «Логика и теория множеств»Стоимость курса 1 890 ₽
Обновления курса «Логика и теория множеств»Обновления курса
Дата публикации курса «Логика и теория множеств»Дата публикации курса
Последнее обновление курса «Логика и теория множеств»Последнее обновление
Сложность easy

Команда курса

Аватар Александр Куликов — преподаватель курса Логика и теория множеств

Доктор физ-мат наук, исследователь в JetBrains, руководитель бакалаврской программы Computer Science and Artificial Intelligence

Аватар Иван Павлов — преподаватель курса Логика и теория множеств

Иван Павлов

author instructor

ML-инженер в Oracle Zürich