# 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
1. Clicking ▼&► to (un)fold the tree menu may facilitate locating what you want to find. 2. Videos embedded here do not necessarily represent my viewpoints or preferences. 3. This is just one of my several websites. Please click the category-tags below these two lines to go to each independent website.
No comments:
Post a Comment