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

	Организатор	Регион	Стоимость


ИНТУИТ (29.50)		Pоссия	бесплатно руб. 0.00 за 15 ак. часов

Даты проведения

C открытой датой

Форма обучения: Дистанционная

Вид мероприятия: Видеокурс

Преподаватель

Сергей Абрамов, Любовь Пармёнова - Университет города Переславля им. А. К. Айламазяна.

Анонс программы

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

Описание программы

Введение. Место метавычислений в Computer Science
История вопроса. В.Ф. Турчин, краткая биорафическая справка
Теория метасистемных преходов (MST)
Метавычисления: применение MST к программированию
Простейшие примеры метасистемных переходов
Генератор компиляторов
История проекций Футамуры-Турчина
Другие примеры метасистемных переходов. Метавычисления. Цели исследования
Мотивация
Структура курса
Язык программирования (определение А.П. Ершова)
Предметная область
Синтаксис TSG-программ
Проверка вхождения одной строки в другую
Определение семантики TSG
Вспомогательные функции в описании интерпретатора
Глава 1 - обзор, выводы, заключение
Представление множеств
Обзор главы 2
Конфигурационные переменные, с-выражения
С-связи, с-среды, с-состояния
Неравенства, рестрикции с-переменных
С-конструкции, cvars
Подстановки
Применение подстановки. Пример 2 ...

Подробнее о программе

Введение. Место метавычислений в Computer Science
История вопроса. В.Ф. Турчин, краткая биорафическая справка
Теория метасистемных преходов (MST)
Метавычисления: применение MST к программированию
Простейшие примеры метасистемных переходов
Генератор компиляторов
История проекций Футамуры-Турчина
Другие примеры метасистемных переходов. Метавычисления. Цели исследования
Мотивация
Структура курса
Язык программирования (определение А.П. Ершова)
Предметная область
Синтаксис TSG-программ
Проверка вхождения одной строки в другую
Определение семантики TSG
Вспомогательные функции в описании интерпретатора
Глава 1 - обзор, выводы, заключение
Представление множеств
Обзор главы 2
Конфигурационные переменные, с-выражения
С-связи, с-среды, с-состояния
Неравенства, рестрикции с-переменных
С-конструкции, cvars
Подстановки
Применение подстановки. Пример 2
Свойство подстановок. Доказательство
Повторение: подстановки, их применение и свойства, доказательство, структурная индукция
Отождествление с-выражений. Идея алгоритма. Таблица вариантов
Классы и L-классы
Конфигурации
Суперпозиция подстановок
Сужения. Доказательства
Каноническая форма класса
Разбиения
Разбиения (повторение). Обзор главы 2

Скрыть подробности

	Сохранить в избранном

	Заказать звонок

	Отправить вопрос или заявку


Курс в архиве


	Телефон организатора Нажмите на ссылку, чтобы увидеть телефон Показать телефон

	Пожалуйста, скажите организатору, что нашли мероприятие на EduMarket.ru

Похожие мероприятия

Объектно-ориентированное программирование Очная/дневная, Вечерняя

Барнаул

9 600 руб.

Программирование в системе 1С:Предприятие 8 Очная/дневная, Вечерняя

Барнаул

14 000 руб.

Full stack JavaScript Заочная

Pоссия

245 000 руб.

Быстрый переход к спискам мероприятий:
Все курсы программирования
Курсы программирования в России

←Вернуться