Index of /~dpierce/courses/111

 Name                    Last modified      Size  Description
 Parent Directory                             -   
 2001/                   17-Mar-2003 11:51    -   
 2002/                   14-Sep-2005 10:36    -   
 2004/                   14-Sep-2005 10:42    -   
 2005/                   29-Dec-2005 08:24    -   
 Future/                 06-Oct-2006 14:30    -   
 old-problems/           19-Oct-2005 15:13    -   

The catalogue description of Math 111 is:

"Symbolic logic. Set theory. Cartesian product. Relations. Functions. Injective, surjective and bijective functions. Composition of functions equipotent sets. Countability of sets. More about relations: Equivalence relations. Equivalence classes and partitions. Quotient set. Order relations: partial order, total order, well ordering. Mathematical Induction and recursive definitions of functions."

In 2001 and 2002, those of us who taught it based Math 111 on (selections from) four sets of notes:

1. "Introductory Notes on Mathematical Logic"
2. "Sets and Relations"
3. "Functions, Equivalences and Posets"
4. "Numbers"

The middle two were by Andreas Tiefenbach. The others are in the year directories.