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

: Информация
Опубликована: 22.04.2015 | Уровень: для всех | Стоимость: 490.00 руб. | Длительность: 
В учебном курсе определяется один из методов метавычислений — инверсное вычисление,— и для простого (но полного) языка программирования TSG строится соответствующая метапрограмма — универсальный решающий алгоритм.
Универсальный решающий алгоритм (УРА) позволяет вычислять программы «в обратном направлении»: для заданной программы p и заданного результата r вычислять представление для множества тех входных данных d, для которых программа возвращает результат r: p(d) = r. В курсе рассмотрены несколько усовершенствований алгоритма УРА; перенос инверсного вычисления на любой язык программирования; инверсное программирование. Инверсное программирование — это такой подход, при котором программист реализует не ту программу, которая затребована в задании, а ту, которая после инверсии совпадёт с требуемой. Анализируется тесная связь между инверсным и логическим программированием.
Необходимые знания: Данный курс предназначен для слушателей, ранее прошедших курс «Основы метавычислений».
Дополнительная информация: Данный курс предназначен для слушателей, ранее прошедших курс «Основы метавычислений».

План занятий

ЗанятиеЗаголовок <<Дата изучения
Лекция 1
 -
Лекция 2
 -
Лекция 3
 -
Лекция 4
 -
Лекция 5
Примеры УРА
Оглавление
    		-
    Лекция 6
    		 -
    Лекция 7
    		 -
    Лекция 8
    		 -
    Лекция 9
    		 -
    Лекция 10
    		 -
    Лекция 11
    		 -
    Лекция 12
    		 -
    Лекция 13
    		 -
    Лекция 14
    		 -
    Лекция 15
    		 -
    Лекция 16
    		 -
    Лекция 17
    		 -
    Лекция 18
    		 -
    Лекция 19
    		 -
    Лекция 20
    		 -
    Лекция 21
    		 -
    Лекция 22
    		 -
    Лекция 23
    		 -
    Лекция 24
    		 -
    Лекция 25
    		 -
    Лекция 26
    		 -
    Лекция 27
    		 -