Claw.ru | Рефераты по математике | Конспекты лекций по математической логике Конспекты лекций по математической логике | Категория реферата: Рефераты по математике | Теги реферата: реферат статус, изложение по русскому языку 6 | Добавил(а) на сайт: Анохин. Предыдущая страница реферата | 1  2  3  4  5  6  7  8  9  10 | Следующая страница реферата Пример: Программа:

1.1.4 Реализация функции натурального переменного.

но мы допускаем не всюду определенную функцию.

то это означает, что

притом , если f не определена, то и программа не должна ничего выдавать.

притом , если f не определена, то и программа не должна ничего выдавать.

( , а числа представляются в виде ,например .)

1.2 Эквивалентность трех подходов к понятию алгоритм.

1.2.1 Теорема об эквивалентности понятия вычислимой функции.

вычислима: ()

Если существует программа МНР, которая вычисляет эту функцию. Если существует программа МТ-П, которая вычисляет эту функцию. Если существует программа НАМ, которая вычисляет эту функцию.

Использование НАМ:

Теор.: Классы функций вычислимых на МТ-П, с помощью НАМ и с помощью МНР совпадают.

Пусть которая вычисляется на МТ-П, вычислим её на НАМ.

МТ-П:

НАМ:

Команда МТП: преобразуется по правилам:

Команда МТП:

2. Булевы функции. 2.1 Основные определения

2.1.1 Декартово произведение

- мн-во всевозможных упорядоченных пар элементов из А и В.

Рекомендуем скачать другие рефераты по теме: изложение 3, пушкин реферат.





Предыдущая страница реферата | 1  2  3  4  5  6  7  8  9  10 | Следующая страница реферата