1990 | OriginalPaper | Buchkapitel
On structures
verfasst von : Edsger W. Dijkstra, Carel S. Schotten
Erschienen in: Predicate Calculus and Program Semantics
Verlag: Springer New York
Enthalten in: Professional Book Archive
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
The proofs in this book are much more calculational than we were used to only a few years ago. As we shall explain later, the theorems are (or could be) formulated as boolean expressions, for which, in principle, true and false are the possible values; the proofs consist in calculations evaluating these boolean expressions to true. We shall return to this later, focussing, for the time being, our attention on some of the notational consequences of this approach.