Тройки Хоара

A

andreyshpigunov

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

Lana_Bu

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

andreyshpigunov

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

jaimerien

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

Lana_Bu

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

andreyshpigunov

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

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

Статистика форума

Темы
200.634
Сообщения
380.522
Пользователи
327.876
Новый пользователь
pm1199
Сверху Снизу