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

Метавычисления и их приложения: Инверсное вычисление и инверсное программирование
С.М. Абрамов
Видеокурс | 1920p - 29.1 Гб | 7 марта 2015
В учебном курсе определяется один из методов метавычислений — инверсное вычисление,— и для простого (но полного) языка программирования TSG строится соответствующая метапрограмма — универсальный решающий алгоритм.
Универсальный решающий алгоритм (УРА) позволяет вычислять программы «в обратном направлении»: для заданной программы p и заданного результата r вычислять представление для множества тех входных данных d, для которых программа возвращает результат r: p(d) = r. В курсе рассмотрены несколько усовершенствований алгоритма УРА; перенос инверсного вычисления на любой язык программирования; инверсное программирование. Инверсное программирование — это такой подход, при котором программист реализует не ту программу, которая затребована в задании, а ту, которая после инверсии совпадёт с требуемой. Анализируется тесная связь между инверсным и логическим программированием.
Цена: 1000.00 руб. | Купить |  | 

Учебный курс

Уровень: для всех | Доступ: свободно | Студентов: 105 / 0
В учебном курсе определяется один из методов метавычислений — инверсное вычисление,— и для простого (но полного) языка программирования TSG строится соответствующая метапрограмма — универсальный…