НОУ ИНТУИТ | Учебный видеокурс | Основы метавычислений

Учитесь и получайте официальные документы БЕСПЛАТНО. Вы можете поддержать наш проект.

Твой путь к знаниям!

Опубликован: 19.10.2011 | Уровень: профессионал | Доступ: платный | ВУЗ: Университет города Переславля им. А. К. Айламазяна

В курсе рассматриваются введение в теорию метавычислений и их применения.

Метавычисления — это раздел теории и практики программирования, связанный с разработкой и использованием метапрограмм — конструктивных метасистем над программами. В данном учебном курсе даётся начальное знакомство с метавычислениями, излагаются предпосылки возникновения данного раздела информатики, для простого (но полного) языка программирования TSG строятся система понятий и базовых алгоритмов метавычислений.

Необходимые знания: Изложение ориентировано на специалистов в области программирования.

Дополнительные курсы Метавычисления и их приложения: окрестностный анализ и окрестностное тестирование Метавычисления и их приложения: инверсное вычисление и инверсное программирование Метавычисления и их приложения: суперкомпиляция и нестандартные семантики

|

Вам нравится? Нравится 5 студентам

| Поделиться |

Поддержать программу

Занятие	Заголовок <<	Дата изучения
Лекция 1	Введение. Место метавычислений в Computer Science Оглавление	-
Лекция 2	История вопроса. В.Ф. Турчин, краткая биорафическая справка Оглавление	-
Лекция 3	Теория метасистемных преходов (MST) Оглавление	-
Лекция 4	Метавычисления: применение MST к программированию Оглавление	-
Лекция 5	Простейшие примеры метасистемных переходов Оглавление	-
Лекция 6	Генератор компиляторов Оглавление	-
Лекция 7	История проекций Футамуры-Турчина Оглавление	-
Лекция 8	Другие примеры метасистемных переходов. Метавычисления. Цели исследования Оглавление	-
Лекция 9	Мотивация Оглавление	-
Лекция 10	Структура курса Оглавление	-
Лекция 11	Язык программирования (определение А.П. Ершова) Оглавление	-
Лекция 12	Предметная область Оглавление	-
Лекция 13	Синтаксис TSG-программ Оглавление	-
Лекция 14	Проверка вхождения одной строки в другую Оглавление	-
Лекция 15	Определение семантики TSG Оглавление	-
Лекция 16	Вспомогательные функции в описании интерпретатора Оглавление	-
Лекция 17	Глава 1 — обзор, выводы, заключение Оглавление	-
Лекция 18	Представление множеств Оглавление	-
Лекция 19	Обзор главы 2 Оглавление	-
Лекция 20	Конфигурационные переменные, с-выражения Оглавление	-
Лекция 21	С-связи, с-среды, с-состояния Оглавление	-
Лекция 22	Неравенства, рестрикции с-переменных Оглавление	-
Лекция 23	С-конструкции, cvars Оглавление	-
Лекция 24	Подстановки Оглавление	-
Лекция 25	Применение подстановки. Пример 2 Оглавление	-
Лекция 26	Свойство подстановок. Доказательство Оглавление	-
Лекция 27	Повторение: подстановки, их применение и свойства, доказательство, структурная индукция Оглавление	-
Лекция 28	Отождествление с-выражений. Идея алгоритма. Таблица вариантов Оглавление	-
Лекция 29	Классы и L-классы Оглавление	-
Лекция 30	Конфигурации Оглавление	-
Лекция 31	Суперпозиция подстановок Оглавление	-
Лекция 32	Сужения. Доказательства Оглавление	-
Лекция 33	Каноническая форма класса Оглавление	-
Лекция 34	Разбиения Оглавление	-
Лекция 35	Разбиения (повторение). Обзор главы 2 Оглавление	-

Авторизоваться

Основы метавычислений

Основы метавычислений

Дополнительные курсы

План занятий