[FrontPage] [TitleIndex] [WordIndex

Note: You are looking at a static copy of the former PineWiki site, used for class notes by James Aspnes from 2003 to 2012. Many mathematical formulas are broken, and there are likely to be other bugs as well. These will most likely not be fixed. You may be able to find more up-to-date versions of some of these notes at http://www.cs.yale.edu/homes/aspnes/#classes.

Relations, particularly equivalence relations and their use in constructing the integers and rationals. Readings: §7.2-7.4. See also §18.1 for directed graphs, a way to represent a relation that we will see more of later.

There was some discussion at the end of class of how to construct the real numbers (see construction_of_real_numbers) and more exotic objects like the Surreal_numbers, but you don't need to know about this if you don't want to.

2014-06-17 11:57