[Home] [Syllabus] [Assignments] [Resources and Handouts]

This page has handouts for the course and links to other helpful materials. The materials will be added as needed.

- Rules and examples for proofs in predicate logic
- A longer example of proofs in predicate logic. Note that we used slightly different notations in class

- Factasia (not to be confused with Fantasia) is a web site that gives definitions and brief overviews of different branches of logic and their use in math and computer science, as well as some philosophical view of logic. This informative and fascinating web site was created and is maintained by Roger Bishop Jones.
- Wikipedia article on logic gates, NAND gate (Sheffer stroke)
- Representation of integers in computer memory

- Inductive proof of a tromino theorem (a demo).
- Visualization of binary search
- Sorting algorithms comparison (visualization)

The views and opinions expressed in this page are strictly those of the page author. The contents of this page have not been reviewed or approved by the University of Minnesota.