# click the upper-left icon to select videos from the playlist
source: НОУ ИНТУИТ 2017年1月8日
Метавычисления и их приложения: окрестностный анализ / Meta calculations and their applications: neighborhood analysis
Курс в НОУ "ИНТУИТ!: http://www.intuit.ru/studies/courses/...
Лекция 1: Обзор дерева конфигураций tree 21:46
Лекция 2: Определение множества процессов вычисления. Определение дерева процессов 19:33
Лекция 3: Дерево процессов. Синтаксис представления дерева процессов 5:02
Лекция 4: Вспомогательные функции в алгоритме ptr. Идея алгоритма ptr. Интерпретатор языка TSG 26:58
Лекция 5: Алгоритм и свойства ptr. Функции evalt, ccond 47:13
Лекция 6: Множества достижимости 18:05
Лекция 7: Алгоритм xptr 22:45
No comments:
Post a Comment