Лекция 15. Теория алгоритмов. Разрешимое и перечислимое множество | Открытые видеолекции учебных курсов МГУ

Лекция 15. Теория алгоритмов. Разрешимое и перечислимое множество

Лекция из курса:

Математическая логика

Яворская Татьяна Леонидовна

Лекция 15. Теория алгоритмов. Разрешимое и перечислимое множество

Предыдущая лекция

Лекция 14. Временная логика

Следующая лекция

Лекция 16. Теория алгоритмов. Универсальная вычислимая функция