Накупить товаров
в интернет-магазине!
в интернет-магазине!
| Главная | Каталог |
» Каталог
» Книги » Технические и естественные науки » Радиоэлектроника. Электротехника. Связь » Электроника. Электротехника
Каталог товаров:
 |
Логика Хоара1125 руб
Hoare logic, также Floyd—Hoare logic, или Hoare rules) — формальная система с набором логических правил, предназначенных для доказательства корректности компьютерных программ. High Quality Content by WIKIPEDIA articles! Логика Хоара (англ. Первоначальная идея была предложена в работе Флойда, который опубликовал похожую систему в применении к блок-схемам (англ. Была предложена в 1969 году английским учёным в области информатики и математической логики Хоаром, позже развита самим Хоаром и другими исследователями. 2013. flowchart). |