Курс на Stepik
Обложка курса «Математическая логика и теория алгоритмов» на Stepik
Бесплатно

Математическая логика и теория алгоритмов 4.500

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

Курс разработан командой студентов СПБГЭТУ "ЛЭТИ" под руководством Фарида Михайлова для изучения основной теории по математической логике и теории алгоритмов.

Показатель Текущие показатели Рост
Значение 🏆 Рейтинг 3 дн 7 дн 30 дн
Количество учеников на курсе «Математическая логика и теория алгоритмов»Учеников на курсе 1 697
Сертификаты, выданные на курсе «Математическая логика и теория алгоритмов»Сертификатов выдано 0
Отзывы о курсе «Математическая логика и теория алгоритмов»Отзывов получено 2
Рейтинг курса «Математическая логика и теория алгоритмов»Рейтинг курса 4.500
Уроки в курсе «Математическая логика и теория алгоритмов»Количество уроков 20
Тесты в курсе «Математическая логика и теория алгоритмов»Количество квизов 71
Задачи с кодом в курсе «Математическая логика и теория алгоритмов»Количество задач с кодом 11
Время прохождения курса «Математическая логика и теория алгоритмов»Время прохождения курса
Обновления курса «Математическая логика и теория алгоритмов»Обновления курса
Дата публикации курса «Математическая логика и теория алгоритмов»Дата публикации курса
Последнее обновление курса «Математическая логика и теория алгоритмов»Последнее обновление

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

Разделы в курсе «Математическая логика и теория алгоритмов» 5 разделов Уроки в курсе «Математическая логика и теория алгоритмов» 20 уроков Тесты в курсе «Математическая логика и теория алгоритмов» 71 тест Задачи в курсе «Математическая логика и теория алгоритмов» 11 задач Время прохождения курса «Математическая логика и теория алгоритмов» 3 ч. Последнее обновление курса «Математическая логика и теория алгоритмов» обн. 10 августа 2026

Булевы функции

5 уроков
1. Основные понятия
2. Двойственность функций
3. Методы минимизации
4. Полиномы Жегалкина и линейные функции
5. Классы замкнутости и теорема Поста

Логика высказываний и предикатов

3 урока
1. Логика высказываний
2. Логическое следствие
3. Логика предикатов

Формальные языки и грамматики

2 урока
1. Основные определения порождающих грамматик
2. Контекстно-свободные грамматики

Конечные автоматы

4 урока
1. Основные понятия
2. Автоматная грамматика
3. Детерминированность
4. Регулярные выражения

Теория алгоритмов

6 уроков
1. Нечеткие множества
2. Нечеткие бинарные отношения
3. Нечеткая логика высказываний
4. Машина Тьюринга
5. Операции над машинами Тьюринга
6. Алгоритмы Маркова