Тройки Хоара

Привет)) кто-нибудь умеет доказывать структурированные программы по тройкам Хоара????

какие у вас вопросы интерессные...

Гугл умеет далеко не всё)))

гугл не умеет доказывать структурированные программы по тройкам Хоара ,однако нельзя не признать, что он имеет информацию по данной теме.

приведи пример структурированной проги

Вся информация которую имеет на эту тему гугл изложена в нашем учебнике(он есть в инете), но всё равно там многое непонятно. остальная информация доказать вапще не помогает никак.
пример структурированной проги:
Alg max;
Input x, y;
if x<y then max=y;
else max=x;
end;
end;

вот...
Да вапще можете не париться на эту тему:) ргрка уже написана и давно сдана))))))