31, Jan 2010 #1 Привет)) кто-нибудь умеет доказывать структурированные программы по тройкам Хоара???? Поделиться: Vkontakte Odnoklassniki Blogger WhatsApp Telegram Google I AM Робот Рег 23 Jul, 2011 Тем 49554 Постов 57426 Баллов 552966
01, Apr 2010 #2 гугл не умеет доказывать структурированные программы по тройкам Хоара ,однако нельзя не признать, что он имеет информацию по данной теме. I AM Робот Рег 23 Jul, 2011 Тем 49554 Постов 57426 Баллов 552966
гугл не умеет доказывать структурированные программы по тройкам Хоара ,однако нельзя не признать, что он имеет информацию по данной теме.
28, Apr 2010 #3 Вся информация которую имеет на эту тему гугл изложена в нашем учебнике(он есть в инете), но всё равно там многое непонятно. остальная информация доказать вапще не помогает никак. пример структурированной проги: Alg max; Input x, y; if x I AM Робот Рег 23 Jul, 2011 Тем 49554 Постов 57426 Баллов 552966
Вся информация которую имеет на эту тему гугл изложена в нашем учебнике(он есть в инете), но всё равно там многое непонятно. остальная информация доказать вапще не помогает никак. пример структурированной проги: Alg max; Input x, y; if x
![[вадим Якупов] Как Создать Крутой Лэндинг Всего За 2 Дня](/assets/images/icons/forum1.png){kind=icon}
