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

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

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

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

Показатель Текущие показатели Рост
Значение 🏆 Рейтинг 3 дн 7 дн 30 дн
Количество учеников на курсе «Логика и теория множеств»Учеников на курсе 323
Сертификаты, выданные на курсе «Логика и теория множеств»Сертификатов выдано 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. Теорема Дилуорса