|
Лекция 1: Понятие алгоритма. Классификация алгоритмических моделей
|
920 |
|
Лекция 2: Машина Тьюринга. Вычислимость. Примеры. Способы задания
|
2513 |
|
Лекция 3: Рекурсивные функции
|
822 |
|
Лекция 4: Разрешимые и перечисляемые множества. Введение в теорию конечных автоматов
|
1217 |
|
Лекция 5: Свойства и варианты конечных автоматов
|
1651 |
|
Лекция 6: Алгоритмические возможности конечных автоматов. Сети Петри
|
1708 |
|
Лекция 7: Формальные системы. Свойства, интерпретация, моделирование
|
728 |
|
Лекция 8: Формальные грамматики
|
1232 |
|
Лекция 9: Логика. Исчисления высказываний и исчисление предикатов
|
1322 |
|
Лекция 10: Метатеория. Введение в исчисление предикатов
|
914 |
