All public logs

Combined display of all available logs of PKC. You can narrow down the view by selecting a log type, the username (case-sensitive), or the affected page (also case-sensitive).

• 04:46, 7 September 2022 Benkoo talk contribs created page Hoare Triple (Created page with "{{WikiEntry|key=Hoare Triple|qCode=}} is a mathematical structure for describing a computable function. =Wikipedia Excerpt= The central feature of '''Hoare logic''' is the '''Hoare triple'''. A triple describes how the execution of a piece of code changes the state of the computation. A Hoare triple is of the form : <math>\{P\} C \{Q\}</math> where <math>P</math> and <math>Q</math> are ''assertions'' and <math>C</math> is a ''command''.<ref g...")