Order Theory Tutorials
Introduction
Order theory is a branch of mathematics that is often useful for programmers and computer scientists. For example, for reasoning about dependency graphs or subtyping relations. I wrote these tutorials for a math website that my friend started a while back. When the site was closed down, I moved these tutorials to my blog.
To understand these tutorials, you should be familiary with the following concepts:
- Proof by contradiction
- Proof by contrapositive
- Proof by vacuity (i.e. when a claim is vacuously true)
- How to prove two sets are equal
If you are not familiar with these concepts, read Mathematics: A Discrete Introduction by Ed Scheinerman.