# You can also click the upper-left icon to select videos from the playlist.
source: НОУ ИНТУИТ 2015年3月9日
Основы метавычислений / Meta Calculation Basics
Автор курса: С.М. Абрамов
Курс на сайте НОУ "ИНТУИТ": http://www.intuit.ru/studies/courses/1067/221/info
В курсе рассматирваются введение в теорию метавычислений и их применения.
Метавычисления — это раздел теории и практики программирования, связанный с разработкой и использованием метапрограмм — конструктивных метасистем над программами. В данном учебном курсе даётся начальное знакомство с метавычислениями, излагаются предпосылки возникновения данного раздела информатики, для простого (но полного) языка программирования TSG строятся система понятий и базовых алгоритмов метавычислений.
Лекция 1: Введение. Место метавычислений в Computer Science 9:27
Лекция на сайте НОУ "ИНТУИТ": http://www.intuit.ru/studies/courses/...
Лекция 2: История вопроса. В.Ф. Турчин, краткая биорафическая справка 45:29
Лекция 3: Теория метасистемных преходов (MST) 12:01
Лекция 4: Метавычисления: применение MST к программированию 6:37
Лекция 5: Простейшие примеры метасистемных переходов 32:34
Лекция 6: Генератор компиляторов 10:54
Лекция 7: История проекций Футамуры-Турчина 24:41
Лекция 8: Другие примеры метасистемных переходов. Метавычисления. Цели исследования 8:37
Лекция 9: Мотивация 19:15
Лекция 10: Структура курса 48:06
Лекция 11: Язык программирования (определение А.П. Ершова) 13:51
Лекция 12: Предметная область 19:11
Лекция 13: Синтаксис TSG-программ 27:14
Лекция 14: Проверка вхождения одной строки в другую 23:20
Лекция 15: Определение семантики TSG 12:02
Лекция 16: Вспомогательные функции в описании интерпретатора 35:59
Лекция 17: Глава 1 — обзор, выводы, заключение 52:49
Лекция 18: Представление множеств 26:36
Лекция 19: Обзор главы 2 17:38
Лекция 20: Конфигурационные переменные, с-выражения 4:53
Лекция 21: С-связи, с-среды, с-состояния 3:59
Лекция 22: Неравенства, рестрикции с-переменных 23:18
Лекция 23: С-конструкции, cvars 13:41
Лекция 24: Подстановки 11:35
Лекция 25: Применение подстановки. Пример 2 15:03
Лекция 26: Свойство подстановок. Доказательство 7:56
Лекция 27: Повторение: подстановки, их применение и свойства, доказательство, структурная индукция 18:18
Лекция 28: Отождествление с-выражений. Идея алгоритма. Таблица вариантов 53:08
Лекция 29: Классы и L-классы 4:39
Лекция 30: Конфигурации 7:51
Лекция 31: Суперпозиция подстановок 6:55
Лекция 32: Сужения. Доказательства 27:07
Лекция 33: Каноническая форма класса 22:29
Лекция 34: Разбиения 17:39
Лекция 35: Разбиения (повторение). Обзор главы 2 18:04
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