Mathematical Expression and Reasoning for Computer Science

Menu item: Lectures/Notes

Please use the links in the left frame to navigate this site.

- Title page and Table of Contents
- Chapter 1 (Introduction)
- Chapter 2 (Quantification, Implication, and Symbols)
- Chapter 3 (Logical Connectives)
- Chapter 4 (Proofs)
- Chapter 5 (Algorithm Analysis and Asymptotic Notation)
- Chapter 6 (A Taste of Computability Theory)

Every week, specific sections of the course notes (see above) will be posted as readings. You will be expected to read these sections to prepare for the following week's lectures.

**The readings are NOT taken from "How To Prove It",
but from the course notes posted just above.**