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

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

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

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

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

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

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

1. О курсе

1 урок
Открытый
1.1 Добро пожаловать! ↗
69
33
4м 38с
1

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

5 уроков
Открытый
2.1 Предикаты ↗
116
30
9м 13с
1
Закрытый
2.2 Нормальные формы ↗
33
12
47м 6с
2
Закрытый
2.3 Тавтологии ↗
24
13
12м 50с
2
Закрытый
2.4 Кванторы ↗
22
16
6м 30с
1
Закрытый
2.5 Критерий Поста ↗
20
8
32м 34с
0

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

6 уроков
Открытый
3.1 Формулировка задачи ↗
52
7
2м 36с
0
Закрытый
3.2 SAT-солверы ↗
15
0
1м 26с
0
Закрытый
3.3 Полиномиально разрешимые частные случаи ↗
10
3
1м 48с
0
Закрытый
3.4 Алгоритмы для задачи выполнимости (опционально) ↗
9
9
-
0
Закрытый
3.5 Формальная верификация и системы доказательств ↗
9
7
-
0
Закрытый
3.6 Применение: условные нижние оценки на вычислительную сложность ↗
7
6
-
0

4. Булевы схемы

4 урока
Открытый
4.1 Прямолинейные программы и булевы схемы ↗
38
4
1м 16с
0
Закрытый
4.2 Синтез булевых схем ↗
8
0
-
1
Закрытый
4.3 Максимальная сложность ↗
6
4
-
0
Закрытый
4.4 Нижние оценки ↗
6
4
-
0

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

8 уроков
Открытый
5.1 Введение ↗
44
5
4м 31с
1
Закрытый
5.2 Равномощность ↗
10
7
2м 0с
0
Закрытый
5.3 Счётные множества ↗
7
7
-
0
Закрытый
5.4 Диагональный аргумент Кантора ↗
8
5
-
0
Закрытый
5.5 Сравнение мощностей ↗
6
6
-
0
Закрытый
5.6 Аксиоматический метод (необязательно) ↗
8
7
-
0
Закрытый
5.7 Применение: неразрешимость задачи остановки ↗
8
6
-
0
Закрытый
5.8 Первая теорема Гёделя о неполноте (необязательно) ↗
5
2
-
0

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

5 уроков
Открытый
6.1 Частичные порядки ↗
35
4
1м 41с
0
Закрытый
6.2 Диаграммы Хассе ↗
10
4
0м 4с
0
Закрытый
6.3 Операции над частично упорядоченными множествами ↗
8
4
-
0
Закрытый
6.4 Порядки и индукция ↗
9
5
-
0
Закрытый
6.5 Теорема Дилуорса ↗
12
4
-
0