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

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

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

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

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

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

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

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

5 уроков
Закрытый
1.1 Основные понятия ↗
1 570
471
20м 53с
-2
Открытый
1.2 Двойственность функций ↗
1 127
384
10м 53с
-8
Открытый
1.3 Методы минимизации ↗
885
366
13м 57с
-2
Открытый
1.4 Полиномы Жегалкина и линейные функции ↗
973
434
7м 16с
2
Открытый
1.5 Классы замкнутости и теорема Поста ↗
850
323
10м 53с
0

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

3 урока
Открытый
2.1 Логика высказываний ↗
782
474
6м 4с
2
Открытый
2.2 Логическое следствие ↗
843
269
7м 52с
-7
Открытый
2.3 Логика предикатов ↗
737
335
17м 34с
6

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

2 урока
Открытый
3.1 Основные определения порождающих грамматик ↗
721
368
7м 50с
-11
Открытый
3.2 Контекстно-свободные грамматики ↗
652
418
3м 55с
0

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

4 урока
Открытый
4.1 Основные понятия ↗
693
248
15м 34с
0
Открытый
4.2 Автоматная грамматика ↗
628
236
8м 34с
-6
Открытый
4.3 Детерминированность ↗
608
169
5м 27с
1
Открытый
4.4 Регулярные выражения ↗
588
251
5м 49с
-5

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

6 уроков
Открытый
5.1 Нечеткие множества ↗
597
156
5м 0с
2
Открытый
5.2 Нечеткие бинарные отношения ↗
494
70
2м 36с
0
Открытый
5.3 Нечеткая логика высказываний ↗
477
214
1м 54с
0
Открытый
5.4 Машина Тьюринга ↗
751
4
7м 0с
-4
Открытый
5.5 Операции над машинами Тьюринга ↗
602
199
2м 42с
0
Открытый
5.6 Алгоритмы Маркова ↗
606
161
7м 33с
0