2015_лекции / Лекция №1.1_2015

Теорема об остановке

29.05.2015

Теорема о рекурсии ( Теорема Клини)

29.05.2015

Теорема о рекурсии ( Теорема Клини)

29.05.2015

Теорема о рекурсии ( Теорема Клини)

получить одно и тоже решение, если таковое имеется для заданной функции, можно различными способами, т.е. выбирая различные варианты набор инструкций

подтверждает возможность существования вирусного ПО.

Пример:

функция возведения в степень: обычный алгоритм возведения и алгоритм быстрого возведения в степень – один и тот же результат, полученный различными действиями.

1.Если функция – функция идентичности, которая возвращает сам аргумент = , то исходный код одинаков для этих программ.

2.Пусть не функция идентичности. Тогда для нее теорема о рекурсии очень изящно описывает механизм полиморфизма, который на практике появится только через 50 лет после описания этой теоремы

29.05.2015

ПЕРЕРЫВ!

29.05.2015