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

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

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

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

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

Содержание курса

Разделы в курсе «Логика и теория множеств» 6 разделов Уроки в курсе «Логика и теория множеств» 29 уроков Тесты в курсе «Логика и теория множеств» 48 тестов Задачи в курсе «Логика и теория множеств» 7 задач Время прохождения курса «Логика и теория множеств» 4 ч. Последнее обновление курса «Логика и теория множеств» обн. 24 февраля 2026

О курсе

1 урок
1. Добро пожаловать! ↗

Пропозициональная логика

5 уроков
1. Предикаты ↗
2. Нормальные формы ↗
3. Тавтологии ↗
4. Кванторы ↗
5. Критерий Поста ↗

Задача выполнимости

6 уроков
1. Формулировка задачи ↗
2. SAT-солверы ↗
3. Полиномиально разрешимые частные случаи ↗
4. Алгоритмы для задачи выполнимости (опционально) ↗
5. Формальная верификация и системы доказательств ↗
6. Применение: условные нижние оценки на вычислительную сложность ↗

Булевы схемы

4 урока
1. Прямолинейные программы и булевы схемы ↗
2. Синтез булевых схем ↗
3. Максимальная сложность ↗
4. Нижние оценки ↗

Теория множеств

8 уроков
1. Введение ↗
2. Равномощность ↗
3. Счётные множества ↗
4. Диагональный аргумент Кантора ↗
5. Сравнение мощностей ↗
6. Аксиоматический метод (необязательно) ↗
7. Применение: неразрешимость задачи остановки ↗
8. Первая теорема Гёделя о неполноте (необязательно) ↗

Частично упорядоченные множества

5 уроков
1. Частичные порядки ↗
2. Диаграммы Хассе ↗
3. Операции над частично упорядоченными множествами ↗
4. Порядки и индукция ↗
5. Теорема Дилуорса ↗