Метавычисления и их приложения: инверсное вычисление и инверсное программирование

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


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

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

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

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

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

Целевая аудитория

Программисты, архитекторы программного обеспечения

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

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

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

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

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

Универсальный решающий алгоритм. Структура URA
Приведение программы к табличной форме
Алгоритм инверсного вычисления программ
Альтернативное предсталение результатов инверсного вычисления. Корректность URA
Примеры УРА
Различные подходы к вычислению и инверсии программ. Обзор главы 4
Инверсное программирование. Перенос инверсных вычислений на произвольный язык. Корректность переноса
Инверсное программирование (повторение). Доказательство корректности inv
SURA и XURA. MGU и пересечение классов. Таблица решений
SURA: симметричный УРА. Инверсное вычисление: пересечение графика со множеством поиска. Общий и частный случай. Постановка и решение задачи
XURA: симметричный УРА для случая неплоских языков. NTSG
Отсечение бесперспективных деревьев. Backpropagation
Выводы. Вне программы: BTI вместо прямой реализации
XSG и XURA: состояние и перспективы
Окрестностный анализ
Шаги формализации. Алгоритм ...

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

Универсальный решающий алгоритм. Структура URA
Приведение программы к табличной форме
Алгоритм инверсного вычисления программ
Альтернативное предсталение результатов инверсного вычисления. Корректность URA
Примеры УРА
Различные подходы к вычислению и инверсии программ. Обзор главы 4
Инверсное программирование. Перенос инверсных вычислений на произвольный язык. Корректность переноса
Инверсное программирование (повторение). Доказательство корректности inv
SURA и XURA. MGU и пересечение классов. Таблица решений
SURA: симметричный УРА. Инверсное вычисление: пересечение графика со множеством поиска. Общий и частный случай. Постановка и решение задачи
XURA: симметричный УРА для случая неплоских языков. NTSG
Отсечение бесперспективных деревьев. Backpropagation
Выводы. Вне программы: BTI вместо прямой реализации
XSG и XURA: состояние и перспективы
Окрестностный анализ
Шаги формализации. Алгоритм nan. Множество. Окрестности
Окрестностный анализатор
Повторение: окрестностный анализатор
Интуитивный смысл. Примеры. Конечное объединение классов
Операции над классами и окрестностями. Проверка принадлежности данных к классу
Декомпозиция окрестности
Интуитивный смысл окрестности. Обзор главы
Окрестностное тестирование программ. Процесс тестирования
Структурные критерии выбора тестов
Конечный автомат. Неформальный предельный критерий
Метасистемные уровни в окрестностном тестировании. Шаг и свойства окрестностного тестирования
Традиционные проблемы тестирования программ

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

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

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

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


Курс в архиве


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

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

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

Объектно-ориентированное программирование. Базовый уровень. Язык С++ Очная/дневная

Москва

32 500 руб.

Программирование на языке C (Си) Очная/дневная

Москва

32 500 руб.

Программирование + 3D-моделирование Очно-заочная

Барнаул

4 800 руб.

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

←Вернуться