|
Лекция 1: Понятие алгоритма. Классификация алгоритмических моделей
|
859 |
|
Лекция 2: Машина Тьюринга. Вычислимость. Примеры. Способы задания
|
2430 |
|
Лекция 3: Рекурсивные функции
|
773 |
|
Лекция 4: Разрешимые и перечисляемые множества. Введение в теорию конечных автоматов
|
1159 |
|
Лекция 5: Свойства и варианты конечных автоматов
|
1593 |
|
Лекция 6: Алгоритмические возможности конечных автоматов. Сети Петри
|
1635 |
|
Лекция 7: Формальные системы. Свойства, интерпретация, моделирование
|
675 |
|
Лекция 8: Формальные грамматики
|
1160 |
|
Лекция 9: Логика. Исчисления высказываний и исчисление предикатов
|
1264 |
|
Лекция 10: Метатеория. Введение в исчисление предикатов
|
839 |
