Content deleted Content added
added question on formatting of expressions |
proj / rate |
||
Line 1:
{{WikiProject Computer Science|class=C|importance=mid}}
{{WikiProject Computing|software=yes|class=C|importance=mid}}
A more in-depth discussion of '''if''' and '''do''' is required, as well as nondeterminism. Also, an example of how to use ''predicate transformers'' to derive a non-trivial algorithm might be good, as long as it doesn't conflict with policy. Also, the references section could use some filling out, specifically to the Gries' and Backhous' newer books on the subject. The relationship to [[First-order_logic|predicate calculus]] could also be filled out.
--[[User:Jdinolt|jayinbmore]] 23:58, 31 Jan 2005 (UTC)
| |||