Course: Foundations of Mathematics, math 221.
Professor: Tom Linton, 312 B Central Hall, campus phone (641) 628-5264, email: lintont@central.edu.
Office Hours: 10 AM Monday and Friday, 1 PM Tuesday and Wednesday, or by appointment.
Class Meets: 9:00 to 9:50 PM MWF in Central Hall 308.
Text: Mathematical Structures for Computer Science, 4th Edition, by Judith Gersting.
Technology: We may utilize Mathematica (or other software) on occassion. The class web page is located at the URL http://www.central.edu/homepages/lintont/classes/fall00/foundations/foundations.html and information relevant to this course may come via email. You should check your email and the class web page on occasion.
Final Exam: Tuesday December 19, 8 AM, 308 Central Hall.

Class Materials

The class syllabus and schedule of assignments.
The Mathematica notebook for the assignment on Lists and recursion.