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 Mon and Tues, 2 PM Thurs, 11 AM Fri, or by appointment.
Class Meets: 9:00 to 9:50 AM 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/spring01/foundationsframeset.htm 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 May 15, 8 AM, 308 Central Hall.

Overview

Foundations is a course that examines the mathematics of logic and proof as well as structures (sets, relations, functions, graphs, trees) encountered in many computer science and mathematics courses. We will cover most of the first five chapters in the text. By the end of the semester, you will be prepared to learn advanced technical material in almost any area of mathematics or computer science.

Grades

We will have two midterm exams worth 100 points each and a cumulative 150 point final exam given Tuesday, May 15, at 8 AM. The midterm exams will occur after chapter 2 is covered and after chapter 3 is completed.

We may have 1 or 2 group projects in this class, worth 50 points each. These are challenging group assignments, similar to tough take-home exam problems, which require word processed write ups and emphasize writing mathematics in a clear and concise manner. You will be given approximately 2 weeks to complete each project.

I will attempt to assign roughly 300 points in homework assignments, quizzes (normally announced), activities (things we do in class instead of lecture) and other forms of class participation (attendance, explaining your solutions to homework problems, discussions, etc.). Homework is probably the most important component of this course. Problems will be assigned each day and designated as either board problems or hand-in problems. Solutions to the board problems will be presented (by you, at the board) at the beginning of the next class period. Each student should attempt to do several board problems during the semester, as these will be counted in your homework grade.

Grades (based on the letter, or A, A-, B+, B, B-, . . . system) will be based on a curve (no stricter than the traditional 90, 80, 70, 60 scheme) of the (approximately) 850 total points in the class (450 exams, 100 projects, 300 other). There is no extra credit for this class. You are encouraged to work together on group assignments (including homework), but copying answers of others is not allowed and will result in no credit.

If any student has a physical, learning or psychiatric disability that restricts the development or expression of your gifts, please feel free to let me know so that we can, when possible, make accommodations that will enhance your classroom experience.

Late Assignments and academic dishonesty

Late homework, activities, and projects will be penalized by 10% each lecture they are late, up to the date I return the graded assignments. Once I have returned an assignment (normally this will occur one or two class periods after I collect it), you will no longer receive credit for handing in that assignment. I am fairly flexible about giving exams at alternate times, BUT you should definitely warn me before the exam is missed, and plan on taking it early rather than late. Quizzes missed due to absences can NOT be made up. You are responsible for all of the material covered in class each day, even if you are not present.

Plagiarism, or copying answers from other people or books without citing the source is a serious offense and will result in no credit for the work.  It is OK to discuss your answers with other groups on group assignments, but  the work you turn in must be your own.

Schedule

Relevant information will be added this schedule as we progress through the semester. An up to date version is available on line at http://www.central.edu/homepages/lintont/classes/spring01/foundations/foundations.htm#schedule. The board problem assignments are in bold.
 
Week
Dates
Section(s)
Assignment
1 1-22 to 26 1.1 1.1#1,2,7,10,
   6,8abc,11abcfg,16,17
2 1-29 to 2-2 1.2 and 1.3 1.2#2,3,5,9,13, 17,22,25,31,37
1.3#1,3,7,9 10,13,14,15abc,16ab
3 2-5 to 9 1.3, 1.4 1.4#1,3,5,6,8,10,12,14,24,27
4 2-12 to 16 1.4, 2.1 2.1#1,2,4,7,11,
15,16,20,31,35,43
Mine Sweeper Activity
5 2-19 to 23 2.1, 2.2  2.2#2,12,13,20,24
6,16,24,31,38,41,55
6 2-26 to 3-2 2.2 2.3#5,6,7,8
7 3-5 to 9 2.4 2.4#2,5,6,10,17 
33,34,41,52,58,70, exam 1
8 3-11 to 16   Spring Break!
9 3-19 to 23 3.1 3.1#2,5,7,9,10agijn,12
17,23,35,39,42,56aef,50cf,71,75
10 3-26 to 30 3.2, 3.3  3.2#4,5,12,16,24,28,
36,37,46,50,53,56,61,63
11 4-2 to 6 3.3, 3.4 3.3#1,4,6,8,10,13,16,18,20
12 4-9 to 13 3.4 3.4#1,5,9,11,14,15,19,26,28,
36,52,53,54,60,64,65,68,70,72 (it's x1 >= 3)
13 4-18 to 20 3.5 3.5#1dgh,3,5,16,19
14 4-23 to 27 4.1 4.1#2,6,7,8,9
10bcfg,12,33,34,35,38
15 4-30 to 5-4   exam 2
16 5-7 to 11 4.4 4.4#1,5,6,8aci,11 
  Final Exam   Tuesday May 15, 8 AM, 308 Central Hall