2024 Outeur: Elizabeth Oswald | [email protected]. Laas verander: 2024-01-13 00:02
Hoare-logika is 'n formele stelsel met 'n stel logiese reëls om streng te redeneer oor die korrektheid van rekenaarprogramme. Dit is in 1969 deur die Britse rekenaarwetenskaplike en logikus Tony Hoare voorgestel, en daarna deur Hoare en ander navorsers verfyn.
Wat is Hoare-drievoudige?
'n Hoare-trippel het drie dele, 'n voorvereiste P, 'n programstelling of reeks stellings S, en 'n na-voorwaarde Q. Dit word gewoonlik in die vorm geskryf. {P} S {Q} Die betekenis is "as P waar is voordat S uitgevoer word, en as die uitvoering van S eindig, dan is Q daarna waar".
Waarvoor word Hoare-logika gebruik?
Die doel van Hoare-logika is om 'n formele stelsel te voorsien vir redenasie oor programkorrektheid. Hoare logika is gebaseer op die idee van 'n spesifikasie as 'n kontrak tussen die implementering van 'n funksie en sy kliënte. Die spesifikasie bestaan uit 'n voorvereiste en 'n na-voorwaarde.
Wat is Hoare?
Hoare is 'n Engelse van afgelei van Middel-Engels hor(e) wat grys- of withaar beteken. Bekende mense met die van sluit in: Albert Alfred Hoare, bekend as Bert Hoare (1874–1962), Suid-Australiese politikus. Des Hoare (gebore 1934), Australiese krieketspeler. … John Gurney Hoare (1810–1875), Engelse krieketspeler en …
Is Hoare-logika voltooi?
Die antwoord is ja, en dit wys dat Hoare-logika gesond is. Gesondheid is belangrik, want dit sêdat Hoare-logika ons nie toelaat om gedeeltelike korrektheidsstellings af te lei wat eintlik nie hou nie. Die bewys van betroubaarheid vereis induksie op die afleidings in ⊢ {P} c {Q} (ons laat hierdie bewys weg).
Aanbeveel:
Wat is die materiaal wat gebruik word vir muurafwerk?
Plaster of Paris is een van die beste en mees algemeen gebruikte gietmateriaal wat jou mure fyn afwerking en gladde voorkoms gee. 'n POP-mengsel benodig twee bestanddele, insluitend die gipspoeier ook bekend as POP-sement en die spesiale Accurate POP Screeding Paint.
Wat is sommige dinge wat jy nie-verbaal kommunikeer?
Die baie verskillende tipes nieverbale kommunikasie of lyftaal sluit in: Gesigsuitdrukkings. Die menslike gesig is uiters ekspressief, in staat om ontelbare emosies oor te dra sonder om 'n woord te sê. … Liggaamsbeweging en postuur. … Gebare.
Wat bedoel sy wat dronk word?
Die naam Maeve is 'n meisie se naam van Ierse oorsprong wat beteken "sy wat bedwelm". Maeve verskyn in die Ierse mitologie in twee vorme, een as die magtige Koningin van Connacht, die ander as die koningin van die feetjies. Maeve van Connacht was 'n vegterkoningin, bekend daarvoor dat sy 'n oorlog begin het in 'n poging om haar eksman se stoetbul te steel.
Wanneer was die hoare laval-verdrag?
Die ooreenkoms tussen die Britse minister van buitelandse sake, sir Samuel Hoare en Pierre Laval, Franse premier en minister van buitelandse sake, in vroeg Desember, 1935, was 'n groot keerpunt in die Europese internasionale politiek tydens die tussenoorlogse tydperk.
Wat is die verskil tussen wat ook al en wat ook al?
"Wat ook al" word gebruik as 'n selfstandige naamwoord gelykstaande aan "maak nie saak wat". Dit is 'n belangrike deel van die sin en kan nie uitgevee word nie. "Wat ook al" word as 'n bywoord gebruik met sinne met negatiewe betekenisse.