Syllabus
Winter
1999
Kelly Schultz
http://cc.kzoo.edu/~kschultz/
Olds/Upton 203D, x7155
Office Hours: MWF 4-4:45pm, see web page for up-to-date list.
Other hours as available or by appointment.
This course is an introduction to formal structures and mathematial reasoning. Graphs, sets, logic, induction, structure of mathematical proof, counting, relations, and algebraic structures are presented. Hands-on work is a central component of the course, embodied in homework assignments and lectures that include hands-on exercises.
Prerequisite: MAT 415 or 420 and a programming course
| Weeks 1 & 2: |
Logic, Proofs, and the Language of Mathematics (Chapters 1 and
2) Omit sections 1.5, 2.6 and 2.7 |
| Weeks 3 & 4: |
Algorithms (Chapter 3) Test #1 (Fourth week, tentative) |
| Weeks 5 & 6:   |
Counting and Recurrence Relations (Chapters 4 & 5) |
| Weeks 7 & 8:   |
Graph Theory (Chapter 6) Test #2 (Eighth week, tentative) |
| Weeks 9 & 10: |
Trees and Presentations (Chapter 7) |
| Exam Week: | Final Exam on Monday, March 15 from 1-4 pm |
Regular attendance is expected of all students. You are responsible for all material presented in class. Please let me know ahead of time if you have a reason for missing class. Each student is responsible for checking the web page for announcements and homework.
Assignments will be made every class period and you will be expected to have them completed by the next class period. You will not need to turn in an assignment unless it is explicitly stated so in class. You may work together on homeworks but the write-up should be your own work. There will be a total of 6 homework assignments given, each worth 20 points. Your homework will be due in my office on the due date given. Any late papers will lose 1 point for each day late (unless this is cleared with me before the due date).
Any student with a disability who needs an accommodation or other assistance in this course should make an appointment to speak with me as soon as possible.