Проверяем сведения о курсе и предложения площадок…
Описание курса
Текст площадки «Stepik». Упомянутые цены и обещанные результаты могут быть неактуальны; условия покупки проверяйте у продавца.
Теоретическая информатика — раздел математики, связанный с логикой, алгоритмами, сложностью: там много несложных, но важных результатов, о некоторых мы попробуем рассказать.
Один курс · разные способы доступа
Где удобнее учиться?
Сравните цену и то, как будете заниматься.
В Курсе
Сайт площадки ↗︎Уроки, текст и помощь — в одном месте
Цена
От 300 ₽
Удобство интерфейса
История цен на площадках
Как проходит обучение
Эти данные взяты из программы и описания площадки. Пустое поле означает, что на странице курса ответа не было.
- Документ
- На странице курса заявлена выдача сертификата.Проверено 19.09.2026 · Источник ↗︎
- Темы программы
- Разрешающие деревья; Схемы из функциональных элементов; Пропозициональная логика; Вычислимость; Программы и универсальные функции; Машины Тьюринга; Ассоциативные исчисления; Переборные задачи и их сложностьПроверено 19.09.2026 · Источник ↗︎
Авторы и преподаватели
- Computer Science Center (CS центр)Автор материалов
- Александр ШеньПреподаватель
Содержание обучения
Что в программе
01Разрешающие деревья6 уроков
- Отгадывание числа: верхние и нижние оценкиВремя не указано
- Отгадывание с ошибкамиВремя не указано
- Поиск максимумаВремя не указано
- Сортировка: примерыВремя не указано
- Сортировка: верхние и нижние оценки для nВремя не указано
- Ещё несколько задачВремя не указано
02Схемы из функциональных элементов3 урока
- Связки, функциональные элементы, ДНФ и КНФ, полнотаВремя не указано
- Оценки сложности. Сумма, сравнениеВремя не указано
- Оценки сложности произвольных функцийВремя не указано
03Пропозициональная логика5 уроков
- Формулы. Следование. Тавтологии. ВыполнимостьВремя не указано
- Следование и выводимостьВремя не указано
- Исчисление резолюций и его полнотаВремя не указано
- Поиск вывода или контрпримераВремя не указано
- Нижние оценки на поиск выводаВремя не указано
04Вычислимость5 уроков
- Вычислимость, разрешимость, перечислимостьВремя не указано
- Свойства перечислимых множеств, теорема ПостаВремя не указано
- Графики, проекции
Похожие курсы и совпадения…
Материалы по теме…
![Обложка курса: «Введение в математику для Data Science» [Вениамин Жиленко, Никита Ларионов]. Площадка: Sharewood](/_next/image?url=%2Fmedia%2Fcourses%2Fvvedenie-v-matematiku-dlya-data-science-veniamin-zhilenko-niki-sharewood-editorial-e1b17dae.webp&w=640&q=75)
![Обложка курса: [ДМК] Практическое введение в решение дифференциальных уравнений в Python [Ершов Н. М.]. Площадка: Складчик](/_next/image?url=%2Fmedia%2Fcourses%2Fdmk-prakticheskoe-vvedenie-v-reshenie-differentsialnykh-uravne-skladchik-04b68d06.webp&w=640&q=75)
