Hoare logic yog ib txoj hauv kev zoo nrog cov txheej txheem kev cai rau kev txiav txim siab nruj txog qhov tseeb ntawm cov khoos phis tawj. Nws tau npaj rau xyoo 1969 los ntawm tus kws tshawb fawb hauv computer thiab tus kws tshawb fawb Askiv Tony Hoare, thiab tom qab ntawd kho dua los ntawm Hoare thiab lwm tus kws tshawb fawb.
Hoare triples yog dab tsi?
A Hoare triple muaj peb ntu, a precondition P, ib daim ntawv teev cov kev pab cuam los yog series ntawm nqe lus S, thiab postcondition Q. Nws feem ntau yog sau rau hauv daim ntawv. {P} S {Q} Lub ntsiab lus yog "yog tias P yog qhov tseeb ua ntej S raug tua, thiab yog tias qhov kev tua S txiav tawm, ces Q yog qhov tseeb tom qab".
Hoare logic siv rau dab tsi?
Lub hom phiaj ntawm Hoare logic yog muab cov txheej txheem raug cai rau kev xav txog kev ua haujlwm raug. Hoare logic yog raws li lub tswv yim ntawm ib qho kev qhia tshwj xeeb raws li kev cog lus ntawm kev siv lub luag haujlwm thiab nws cov neeg siv khoom. Cov lus qhia tshwj xeeb yog tsim los ntawm qhov ua ntej thiab qhov xwm txheej tom qab.
Hoare yog dab tsi?
Hoare is an English surname derived from Middle English hor(e) meaning grey-los yog dawb-haired. Cov neeg tseem ceeb uas lub xeem muaj xws li: Albert Alfred Hoare, hu ua Bert Hoare (1874–1962), South Australian politician. Des Hoare (yug xyoo 1934), Australian cricketer. … John Gurney Hoare (1810–1875), Askiv cricketer thiab …
Yog Hoare logic ua tiav?
Lo lus teb yog, thiab nws qhia tau tias Hoare logic yog suab. Lub suab tseem ceeb vim hais tiastias Hoare logic tsis tso cai rau peb kom tau txais ib feem ntawm qhov kev lees paub tseeb uas ua tau tsis tuav. Cov pov thawj ntawm soundness yuav tsum tau induction ntawm cov derivations nyob rau hauv ⊢ {P} c {Q} (peb tshem tawm cov pov thawj no).
