Базис класса стандартных схем программ. Стандартная схема в линейной форме. Протокол выполнения программы рекурсивной схемы. Слабейшие предусловия операторов программы в линейной форме. Верификация программы с помощью метода индуктивных утверждений.
Аннотация к работе
Министерство РФ по связи и информатизации «Поволжская государственная академия телекоммуникаций и информатики» Кафедра «программного обеспечения информационных технологий» КОНТРОЛЬНАЯ РАБОТА ПО КУРСУ: «Теория вычислительных процессов» 2010 Задание 1 Построить базис стандартной схемы; Реализовать стандартную схему в графовой и линейной формах; Составить интерпретацию для заданной стандартной схемы; 6 Расчет суммы чисел Фибоначчи Расчет суммы первых четырех чисел Фибоначчи Числа Фибоначчи (Fi) определяются по формулам F0 = F1 = 1; Fi = Fi -1 Fi -2 при i = 2, 3, ... Вычислим сумму первых четырёх чисел Фибоначчи, которые не превосходят заданного натурального числа М.