Теория алгоритмов

2020-2021 учебный год

Практические занятия

Практика 14
Решение задач на доказательство правильности программ 

1. Изучите по учебнику алгоритм Евклида вычисления 
наибольшего общего делителя двух натуральных чисел. 
Запишите алгоритм на языке Си. 
Определите инвариант цикла в алгоритме способом, 
приведенном в учебнике на с. 18
Поляков К.Ю., Еремин Е.А. Основы теории алгоритмов.


2. Изучите по учебнику алгоритм вычисления суммы элементова массива. 
Запишите алгоритм на языке Си. 
Определите инвариант цикла в алгоритме способом, 
приведенном в учебнике на с. 19
Поляков К.Ю., Еремин Е.А. Основы теории алгоритмов.


3. Изучите по учебнику алгоритм сортировки элементова массива 
методом «пузырька». Запишите алгоритм на языке Си. 
Определите инвариант цикла в алгоритме способом, 
приведенном в учебнике на с. 19
Поляков К.Ю., Еремин Е.А. Основы теории алгоритмов.


4. Изучите по учебнику алгоритм быстрого возведения числа в степень.
Запишите алгоритм на языке Си. 
Определите инвариант цикла в алгоритме способом, 
приведенном в учебнике на с. 19
Поляков К.Ю., Еремин Е.А. Основы теории алгоритмов.

5. Ответьте на вопрос №6 в учебнике на с. 20.
Запишите алгоритмы на языке Си. 
Поляков К.Ю., Еремин Е.А. Основы теории алгоритмов.

Решение задач на доказательство правильности программ. 
Доказательство правильности блок-схем программ.