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

IndexPrev UpNext

Prev UpNext

Front Matter
1 Opening
- Launch
- What you will learn
2 Reasoning about Algorithms
3 Growing a Proof of Correctness Hand in Hand with an Algorithm
4 Managing Complexity with Abstraction
5 Learn More
Back Matter
References
Index
Colophon

Feedback Authored in PreTeXt

Colophon Colophon

This article was authored in, and produced with, PreTeXt. It is typeset with the Latin Modern font.