Компьютерные науки

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

Программа о теории метасистемных переходов и практике создания метапрограмм для автоматизации разработки и оптимизации программного кода.
Студентов 154 Для специалистов
690 ₽ 1 200 ₽
или любая сумма на ваше усмотрение
Вы можете оплатить любую сумму, чтобы поддержать наш проект и авторов программы. Объем услуг не зависит от размера вашей оплаты.
Объем
36 час.
Длительность
30 дней
Нагрузка в неделю
9 час.
Формат обучения
Дистанционно (самостоятельно)
Описание Изучаются теоретические основы метавычислений, история возникновения и применение MST (теории метасистемных переходов). На примере языка TSG строятся базовые алгоритмы метавычислений, рассматриваются проекции Футамуры-Турчина и генераторы компиляторов.
Цели
  • Сформировать понимание принципов работы метапрограмм и конструктивных метасистем.
  • Ознакомить с алгоритмическим аппаратом и практическими применениями метавычислений.
Чему я научусь?
  • Применять базовые алгоритмы метавычислений для трансформации программ.
  • Использовать концепции метасистемных переходов при проектировании сложных систем.

Авторы

Абрамов Сергей Михайлович
Абрамов Сергей Михайлович
доктор физико-математических наук, директор Института Программных Систем РАН, директор Исследовательского центра мультипроцессорных систем, ректор Университета города Переславля-Залесского.
Пармёнова Любовь Валерьевна
Пармёнова Любовь Валерьевна
Чему я научусь?
  • Применять базовые алгоритмы метавычислений для трансформации программ.
  • Использовать концепции метасистемных переходов при проектировании сложных систем.

Учебный план

№ Занятия
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

Какой документ я получу?

Сертификат

Выдаётся автоматически после успешного завершения программы.

Удостоверение о повышении квалификации

Выдается при наличии среднего специального или высшего образования (необходимые документы).

Стоимость программы

690 ₽ 1 200 ₽
или любая сумма на ваше усмотрение
Вы можете оплатить любую сумму, чтобы поддержать наш проект и авторов программы. Объем услуг не зависит от размера вашей оплаты.
^