Проверяем сведения о курсе и предложения площадок…
Описание курса
Текст площадки «Stepik». Упомянутые цены и обещанные результаты могут быть неактуальны; условия покупки проверяйте у продавца.
Логика и теория множеств — это основа формального мышления и построения вычислений. Мы научимся формулировать утверждения, работать с кванторами, множествами и операциями над ними, а также увидим, как логика применяется в компьютерных науках (в частности, научимся пользоваться SAT-солверами). Вы решите много задач, а мы поможем вам в этом: для каждой задачи мы приводим подробное решение, а также быстро отвечаем на вопросы на форуме.
Один курс · разные способы доступа
Где удобнее учиться?
Сравните цену и то, как будете заниматься.
В Курсе
Сайт площадки ↗︎Уроки, текст и помощь — в одном месте
Цена
От 300 ₽
Удобство интерфейса
История цен на площадках
Как проходит обучение
Эти данные взяты из программы и описания площадки. Пустое поле означает, что на странице курса ответа не было.
- Документ
- На странице курса указано: сертификат не выдаётся.Проверено 22.09.2026 · Источник ↗︎
- Темы программы
- О курсе; Пропозициональная логика; Задача выполнимости; Булевы схемы; Теория множеств; Частично упорядоченные множестваПроверено 22.09.2026 · Источник ↗︎
Авторы и преподаватели
- Александр КуликовАвтор материалов
- Иван ПавловАвтор материалов
Содержание обучения
Что в программе
01О курсе1 урок
- Добро пожаловать!Время не указано
02Пропозициональная логика5 уроков
- ПредикатыВремя не указано
- Нормальные формыВремя не указано
- ТавтологииВремя не указано
- КванторыВремя не указано
- Критерий ПостаВремя не указано
03Задача выполнимости6 уроков
- Формулировка задачиВремя не указано
- SAT-солверыВремя не указано
- Полиномиально разрешимые частные случаиВремя не указано
- Алгоритмы для задачи выполнимости (опционально)Время не указано
- Формальная верификация и системы доказательствВремя не указано
- Применение: условные нижние оценки на вычислительную сложностьВремя не указано
04Булевы схемы4 урока
- Прямолинейные программы и булевы схемыВремя не указано
- Синтез булевых схемВремя не указано
- Максимальная сложностьВремя не указано
- Нижние оценкиВремя не указано
05Теория множеств8 уроков
Похожие курсы и совпадения…
Материалы по теме…
![Обложка курса: Лекции по математике. Теория множеств: от Кантора до Коэна. Том 16 [Валерий Босс]. Площадка: Складчик](/_next/image?url=%2Fmedia%2Fcourses%2Flektsii-po-matematike-teoriya-mnozhestv-ot-kantora-do-koena-to-skladchik-8e58490f.webp&w=640&q=75)
![Обложка курса: Логика творчества — ТОТА. Теория общего творческого алгоритма [Алексей Щинников]. Площадка: Складчик](/_next/image?url=%2Fmedia%2Fcourses%2Flogika-tvorchestva-tota-teoriya-obshchego-tvorcheskogo-algorit-skladchik-editorial-3be50dc5.webp&w=640&q=75)