A+Practical+Theory+of+Programming+01

A Practical Theory o - a Practical Theory of Programming edition Eric C.R Hehner 5 a Practical Theory of Programming edition Eric C.R Hehner

Info iconThis preview shows pages 1–4. Sign up to view the full content.

View Full Document Right Arrow Icon
a Practical Theory of Programming 2010-1-11 edition Eric C.R. Hehner
Background image of page 1

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
–5 a Practical Theory of Programming 2010-1-11 edition Eric C.R. Hehner Department of Computer Science University of Toronto Toronto ON M5S 2E4 Canada The first edition of this book was published by Springer-Verlag Publishers New York 1993 ISBN 0-387-94106-1 QA76.6.H428 The current edition is available free at www.cs.utoronto.ca/~hehner/aPToP You may copy freely as long as you include all the information on this page.
Background image of page 2
–4 Contents 0 Preface 0 0.0 Introduction 0 0.1 Current Edition 1 0.2 Quick Tour 1 0.3 Acknowledgements 2 1 Basic Theories 3 1.0 Boolean Theory 3 1.0.0 Axioms and Proof Rules 5 1.0.1 Expression and Proof Format 7 1.0.2 Monotonicity and Antimonotonicity 9 1.0.3 Context 10 1.0.4 Formalization 12 1.1 Number Theory 12 1.2 Character Theory 13 2 Basic Data Structures 14 2.0 Bunch Theory 14 2.1 Set Theory (optional) 17 2.2 String Theory 17 2.3 List Theory 20 2.3.0 Multidimensional Structures 22 3 Function Theory 23 3.0 Functions 23 3.0.0 Abbreviated Function Notations 25 3.0.1 Scope and Substitution 25 3.1 Quantifiers 26 3.2 Function Fine Points (optional) 29 3.2.0 Function Inclusion and Equality (optional) 30 3.2.1 Higher-Order Functions (optional)
Background image of page 3

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
Image of page 4
This is the end of the preview. Sign up to access the rest of the document.

This document was uploaded on 08/10/2011.

Page1 / 6

A Practical Theory o - a Practical Theory of Programming edition Eric C.R Hehner 5 a Practical Theory of Programming edition Eric C.R Hehner

This preview shows document pages 1 - 4. Sign up to view the full document.

View Full Document Right Arrow Icon
Ask a homework question - tutors are online