додати числа
Добавлено: 07 апр 2010, 17:31
Даны натуральные числа а и b. Вычислить их сумму a+b. Использувать операторы присваивания лишь вида:
(переменная 1 = переменная 2)
(переменная = число)
(переменная 1 = переменная 2)+1
решение:
{инвариант: с = a+k}
(переменная 1 = переменная 2)
(переменная = число)
(переменная 1 = переменная 2)+1
решение:
{инвариант: с = a+k}