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

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

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

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

Показатель Текущие показатели Рост
Значение 🏆 Рейтинг 3 дн 7 дн 30 дн
Количество учеников на курсе «Математическая логика и теория алгоритмов»Учеников на курсе 1 767
Сертификаты, выданные на курсе «Математическая логика и теория алгоритмов»Сертификатов выдано 0
Отзывы о курсе «Математическая логика и теория алгоритмов»Отзывов получено 3
Рейтинг курса «Математическая логика и теория алгоритмов»Рейтинг курса 4.667
Уроки в курсе «Математическая логика и теория алгоритмов»Количество уроков 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. Алгоритмы Маркова ↗