(русский / in Russian) Основы метавычислений

# 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