У вас уже есть заявка на текущий период. Если вы хотите, чтобы данная программа участвовала в розыгрыше гранта в этом месяце, необходимо добавить ее в папку "Интересные мероприятия". Или создайте заявку на другой период.
 
Курсы
MBAКомпанииГранты на обучениеВузыПовысь зарплату

EduMarket Образование
  Вход на сайт
 
Напомнить   
Запомнить меня
 
Пользовательское соглашение


Победители конкурса грантов

Завершился 35-й конкурс грантов «Мечты сбываются». Поздравляем победителей!
Нет ничего невозможного, если есть сильное желание чего-то добиться. Если у вас есть ...

Куценко Александра Анатольевна, менеджер из Ростова-на-Дону, победитель 34 конкурса грантов, выиграла 100 000 руб.
Хочу поблагодарить портал EduMarket.ru и всех, кто причастен к его созданию, развитию и ...



Подать заявку на грант
 
 
Курсы, программы / IT: Для программистов и IT-специалистов / Программирование / Метавычисления и их приложения: суперкомпиляция и нестандартные семантики

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

ИНТУИТ ИНТУИТ (29.44) Рейтинг компании Pоссия бесплатно

руб. 0.00

за 12 ак. часов

Даты проведения
C открытой датой
Форма обучения: Дистанционная
Вид мероприятия: Видеокурс
Целевая аудитория
Программисты, архитекторы программного обеспечения
Преподаватель
Сергей Абрамов - Университет города Переславля им. А. К. Айламазяна
Анонс программы
В учебном курсе определяется один из методов метавычислений - суперкомпиляция,- и для простого (но полного) языка программирования TSG строится соответствующая метапрограмма - суперкомпилятор.
Описание программы
  1. Суперкомпиляция: введение, идея, постановки задачи
  2. Суперкомпиляция. Wh: алгоритм обнаружения возможого зацикливания. Упрощающее отношение, сравнение с-выражений
  3. Numprog. Функции theSameTerm, whConf
  4. Gener: построение тесной общей надконфиурации и постановка задачи. Обощение с-выражений и с-сред
  5. genTabToSubsts. Построение sGenUp и sGenDn. Обобщение рестрикций. Условие rGen. Функции mkRestr, genRestr, genConf
  6. isEqCUpCGen, mkSubstUpDn. Поправка Юрия Климова. Функции genRestr, mkRestr
  7. Суперкомпилятор для языка TSG
  8. Примеры суперкомпиляции
  9. Нестандартные семантики
  10. Нестандартные интерпретаторы
 
 
Телефон организатора Телефон организатора
Нажмите на ссылку, чтобы увидеть телефон
Показать телефон
 
 
 
 
Похожие мероприятия
Data Scientist в строительной отрасли Дистанционная Pоссия 87 000 руб.

Data Science Online Pоссия 295 000 руб.

Full stack JavaScript Очная/дневная Москва 360 000 руб.
Вернуться
Пользовательское соглашение       Обратная связь       Карта сайта

© 2006—2024 Edumarket


 

Город

Начните писать и выберите вариант из списка

Последняя или будущая должность

Начните писать и выберите вариант из списка
 

Ваше имя

Электронная почта

 

Телефон

 

Текст сообщения


Я принимаю условия, изложенные в Соглашении об оказании информационных услуг по развитию карьеры и профессиональному образованию