Презентация на тему "Формализация понятия алгоритма"
презентация к уроку по информатике и икт (9 класс) по теме

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

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

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

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

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