Формализация понятия алгоритма

Август 26, 2022

Главная
Информатика
Формализация понятия алгоритма

Содержание

2. АЛГОРИТМ - ЭТО СИСТЕМА ПРАВИЛ, ЧЁТКО ОПИСЫВАЮЩАЯ ПОСЛЕДОВАТЕЛЬНОСТЬ ДЕЙСТВИЙ, КОТОРЫЕ НЕОБХОДИМО ВЫПОЛНИТЬ ДЛЯ РЕШЕНИЯ ЗАДАЧИ.
3. Алгоритм предназначен для конкретного исполнителя с его системой команд. Алгоритм всегда рассчитан на исполнение неразмышляющим исполнителем
4. АЛГОРИТМ Аль-Хорезми — великий математик, астроном и географ, основатель классической алгебры. Его полное имя — Мухаммад
5. Попытки построения формального определения алгоритма привели к возникновению теории алгоритмов. (20-30 годы XX в.) В теорию
6. Определение 2 (Колмогоров). Алгоритм — это всякая система вычислений, выполняемых по строго определенным правилам, которая после
7. Другие формальные определения понятия алгоритма связаны с введением специальных математических конструкций (машина Поста, машина Тьюринга, рекурсивно-вычислимые
8. Свойства алгоритмов Дискретность Детерминированность Результативность Массовость
10. Скачать презентацию

Слайд 2

АЛГОРИТМ - ЭТО СИСТЕМА ПРАВИЛ, ЧЁТКО ОПИСЫВАЮЩАЯ ПОСЛЕДОВАТЕЛЬНОСТЬ ДЕЙСТВИЙ, КОТОРЫЕ НЕОБХОДИМО

ВЫПОЛНИТЬ ДЛЯ РЕШЕНИЯ ЗАДАЧИ.

Слайд 3

Алгоритм предназначен для конкретного исполнителя с его системой команд. Алгоритм всегда

рассчитан на исполнение неразмышляющим исполнителем – формальное выполнение алгоритма.

Слайд 4

АЛГОРИТМ
Аль-Хорезми — великий математик, астроном и географ, основатель классической алгебры. Его

полное имя — Мухаммад ибн Муса аль-Хорезми. В переводе с арабского это означает «Мухаммад, сын Мусы из Хорезма».

Аль-Хорезми — великий математик, астроном и географ, основатель классической алгебры. Его полное имя — Мухаммад ибн Муса аль-Хорезми. В переводе с арабского это означает «Мухаммад, сын Мусы из Хорезма».

Слайд 5

Попытки построения формального определения алгоритма привели к возникновению теории алгоритмов. (20-30

годы XX в.)
В теорию внесли вклад:
А.Тьюринг (Англия),
Э.Пост (США),
А.Н.Колмогоров (СССР),
А.А.Марков (СССР).

Слайд 6

Определение 2 (Колмогоров). Алгоритм — это всякая система вычислений, выполняемых по строго

определенным правилам, которая после какого-либо числа шагов заведомо приводит к решению поставленной задачи.
Определение 3 (Марков). Алгоритм — это точное предписание, определяющее вычислительный процесс, идущий от варьируемых исходных данных к искомому результату.

Слайд 7

Другие формальные определения понятия алгоритма связаны с введением специальных математических

конструкций (машина Поста, машина Тьюринга, рекурсивно-вычислимые функции Черча) и постулированием тезиса об эквивалентности такого формализма и понятия «алгоритм».

Слайд 8

Формализация понятия алгоритма

Содержание

АЛГОРИТМ - ЭТО СИСТЕМА ПРАВИЛ, ЧЁТКО ОПИСЫВАЮЩАЯ ПОСЛЕДОВАТЕЛЬНОСТЬ ДЕЙСТВИЙ, КОТОРЫЕ НЕОБХОДИМО

Алгоритм предназначен для конкретного исполнителя с его системой команд. Алгоритм всегда

АЛГОРИТМАль-Хорезми — великий математик, астроном и географ, основатель классической алгебры. Его

Попытки построения формального определения алгоритма привели к возникновению теории алгоритмов. (20-30

Определение 2 (Колмогоров). Алгоритм — это всякая система вычислений, выполняемых по строго

Другие формальные определения понятия алгоритма связаны с введением специальных математических

Свойства алгоритмовДискретность Детерминированность Результативность Массовость

Похожие презентации

АЛГОРИТМ
Аль-Хорезми — великий математик, астроном и географ, основатель классической алгебры. Его

Свойства алгоритмов
Дискретность
Детерминированность
Результативность
Массовость