|
Лекция 1: Понятие алгоритма. Классификация алгоритмических моделей
|
854 |
|
Лекция 2: Машина Тьюринга. Вычислимость. Примеры. Способы задания
|
2425 |
|
Лекция 3: Рекурсивные функции
|
769 |
|
Лекция 4: Разрешимые и перечисляемые множества. Введение в теорию конечных автоматов
|
1151 |
|
Лекция 5: Свойства и варианты конечных автоматов
|
1586 |
|
Лекция 6: Алгоритмические возможности конечных автоматов. Сети Петри
|
1632 |
|
Лекция 7: Формальные системы. Свойства, интерпретация, моделирование
|
667 |
|
Лекция 8: Формальные грамматики
|
1152 |
|
Лекция 9: Логика. Исчисления высказываний и исчисление предикатов
|
1262 |
|
Лекция 10: Метатеория. Введение в исчисление предикатов
|
833 |
