Skip to main content
\(\require{cancel}\require{color}\require{colortbl}\require{xcolor}\require{array} \newcommand{\lt}{<} \newcommand{\gt}{>} \newcommand{\amp}{&} \)
A Logical Start to Programming
Robert van de Geijn, Maggie Myers, Devangi Parikh
Contents
Index
Prev
Up
Next
Contents
Prev
Up
Next
Front Matter
1
Opening
Launch
What you will learn
2
Reasoning about Algorithms
Algorithms for evaluating a polynomial
An outline for reasoning about a loop
Specifying input and output
Proving the loop correct
3
Growing a Proof of Correctness Hand in Hand with an Algorithm
Words of wisdom
Deriving a loop from its loop invariant
Deriving loop invariants
More loop invariants
Variations on a theme
4
Managing Complexity with Abstraction
More words of wisdom
A farewell to indices
A new notation for presenting algorithms
Deriving loop invariants with the FLAME notation
Deriving algorithms with the FLAME notation
Translating into code
5
Learn More
Back Matter
References
Index
Colophon
Feedback
Authored in PreTeXt
References
Index
Colophon
