Интернет Университет информационных технологий Твой путь к знаниям
  Искать!
 Курсы | Обучение | Школа | Магазин | Общение | Новости | Помощь
Приглашаем на курсы по разработке программ для iPhone и iPad || НОВЫЙ КОНКУРС ГРАНТОВ ОТ MICROSOFT || Приглашаем авторов курсов

поддержка курса Метавычисления и их применения
Авторы: С.М. Абрамов, Л.В. Пармёнова
? Уровень: для профессионалов || Статус: бесплатный || Опубликован: 19.10.2011
Студентам: видеокурсы на DVD | форум
Поддержка
Курс создан при финансовой поддержке компании
Университет города Переславля им. А. К. Айламазяна

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

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

Внимание!
На данный курс не нужно записываться и для него нет тестов.
Лекции
просмотров: 0 | загрузок: 0
1.
Понятие "метавычисления". Валентин Федорович Турчин. Московская Рефал-группа
смотреть видео »
просмотров: 0 | загрузок: 0
2.
Актуальность теории В.Ф. Турчина. Проекции Футамуры. Первая реализация - DIKU, Дания
смотреть видео »
просмотров: 0 | загрузок: 0
3.
Семантика языка TSG
смотреть видео »
просмотров: 0 | загрузок: 0
4.
Интерпретатор языка TSG
смотреть видео »
просмотров: 0 | загрузок: 0
5.
Подстановка. Рестрикция
смотреть видео »
просмотров: 0 | загрузок: 0
6.
Неравенства. Рестрикции с-переменных
смотреть видео »
просмотров: 0 | загрузок: 0
7.
Свойство подстановок. Структурная индукция. Отождествление с-выражений
смотреть видео »
просмотров: 0 | загрузок: 0
8.
Отождествление с-выражений. Решение приведенных уравнений. Верификация. Теоремы о частичной коррекции и о терминируемости
смотреть видео »
просмотров: 0 | загрузок: 0
9.
Разбор типичных ошибок на рубежном контроле. Представляемое множество. Классы и L-классы. Конфигурации
смотреть видео »
просмотров: 0 | загрузок: 0
10.
Конфигурации. Сужения
смотреть видео »
просмотров: 0 | загрузок: 0
11.
Подклассы. Надклассы. Разбиения
смотреть видео »
просмотров: 0 | загрузок: 0
12.
Дерево процессов
смотреть видео »
просмотров: 0 | загрузок: 0
13.
Синтаксис построения дерева процессов. Алгоритм ptr (функция ccond)
смотреть видео »
просмотров: 0 | загрузок: 0
14.
Перфектное дерево. Алгоритм xptr. Инверсное вычисление программ. Универсальный решающий алгоритм (УРА)
смотреть видео »
просмотров: 0 | загрузок: 0
15.
Приведение программ к табличной форме. Алгоритм ura и ura'
смотреть видео »
просмотров: 0 | загрузок: 0
16.
Инверсное программирование
смотреть видео »
просмотров: 0 | загрузок: 0
17.
Окрестностный анализ. Основные понятия. Окрестностный анализатор. Вспомогательная функция алгоритма nan
смотреть видео »
просмотров: 0 | загрузок: 0
18.
Операции над классами и окрестностями. Декомпозиция окрестности Алгоритм декомпозиции окрестности
смотреть видео »
просмотров: 0 | загрузок: 0
19.
Окрестностное тестирование программ. Основные понятия тестирования. Структурные критерии выбора тестов. Свойства критериев выбора тестов
смотреть видео »
просмотров: 0 | загрузок: 0
20.
Шаг окрестностного тестирования. Окрестностный критерий выбора тестов. Свойства окрестностного тестирования
смотреть видео »
просмотров: 0 | загрузок: 0
21.
Традиционные проблемы тестирования. Продолжение тестирования после исправления ошибки. Синтаксис конструкций и интерпретатор языка JobSL. Окрестноcтное тестирование сorr
смотреть видео »
просмотров: 0 | загрузок: 0
22.
Суперкомпилятор. Зацикливание программы. Алгоритм Wh ("свисток")
смотреть видео »
просмотров: 0 | загрузок: 0
23.
Суперкомпилятор. Перестройка снизу и сверху. Wh-алгоритм обнаружения возможного зацикливания. Теорема Крускаля (DIKU, Дания). Функция Wh-упрощающее сравнение двух с-выражений. Функция the Same Term. Gener. - алгоритм построения тесной общей надконфигураци
смотреть видео »
просмотров: 0 | загрузок: 0
24.
Суперкомпиляция
смотреть видео »
просмотров: 0 | загрузок: 0
25.
Суперкомпиляция
смотреть видео »
просмотров: 0 | загрузок: 0
26.
Суперкомпиляция как метод специализации программ. Алгоритм КМР. Синтаксис графа конфигураций
смотреть видео »
просмотров: 0 | загрузок: 0
27.
Суперкомпиляция. Проекция Футамуры-Турчина. SD-нотация. Компиляция конечных автоматов
смотреть видео »
просмотров: 0 | загрузок: 0
28.
Нестандартные семантики. Специализация программ. Генератор генераторов нестандартных интерпретаторов
смотреть видео »
 
 

Внимание! Если Вы увидите ошибку на нашем сайте, выделите её и нажмите Ctrl+Enter.
Нужна помощь?
• Забыли пароль? Вам сюда...
• Есть вопрос? Спрашивайте! 		Вы можете:
• Изменить персональные данные
• Изменить параметры подписки 		Интернет-магазин:
• Ваши заказы здесь
• Ваш личный счет
Курсы | Учебные программы | Учебники | Вопросы и Ответы | Форум | Новости | Помощь

Телефон: +7 (499) 253-9312, 253-9313, факс: +7 (499) 253-9310, email: info@intuit.ru
© INTUIT.ru::Интернет-Университет Информационных Технологий - дистанционное образование, 2003-2011
Проект Издательства "Открытые Системы".
Партнеры: РМ Телеком, KRAFTWAY COMPUTERS. 		Rambler's Top100