План Разбор описания Алгоритма "точное предписание о порядке выполнения действий, из заданного фиксированного множества, для решения всех задач, заданного типа". Вводятся понятия: исходные данные, результат, действия, исполнитель



СодержаниеВычислительный процесс
Численные алгоритмы
Класс задач
Проблема применимости
3.U( ) = n;(строится как композиция НАМ), n>=1
4.МТ для вычисления НОД.
Тезис Маркова
Правило паралелльной композиции
Разветвление алгоритма
Повторное применение А
Существование универсальных вычислителей.
Алгоритмические проблемы и взаимосвязь А.с.
Теорема: Распознавание самоприменимости неразрешимо. Доказательство
Система типов в Pascal
Тип Boolean
Оператор присваивания.
Операторы повторения.
Скалярные типы, определяемые программистом.
Ограниченный тип.
Производные типы. Массивы.
Одномерные массивы.
Многомерные массивы
Строковые переменные
Рассматривается задача
S:=s+1; путь[s]:=i
Лекция 11-12.
Комбинрованный тип данных
Оператор присоединения.
Множественный тип.
Операции над значениями множественного типа.
Описание процедуры
Фактические параметры
Процедуры с параметрами.
Параметры-значения прозводных типов.
Синтаксис списка формальных параметров.
Область действия имен
Оператор процедуры.
Описание процедуры-функции.
Вызов функции.
Побочный эффект.
Параметры-функции, параметры-процедуры.
Итерация и рекурсия.
Файловый тип. Ввод/вывод.
Файлы и работа с ними.
Действия над ссылками
Уничтожение динамических объектов