Math 111, 2005/6
"Math 111" is the numerical designation of a course called Fundamentals of Mathematics. The course concerns: symbolic logic; sets and relations; and natural numbers (inductive proofs, recursive definitions, countability).
Instructors
| office | ||
|---|---|---|
| § 01 | David Pierce | Z-37 |
| § 02 | Belgin Korkmaz | 222 |
| § 03 | Turgut Önder | 140 |
| assistant | Celalettin Kaya | Z-42 |
Examinations
| date | time | weight | |
|---|---|---|---|
| 1st midterm | October 27 | 17.40 | 30 % |
| 2nd midterm | December 7 | 17.40 | 30 % |
| final | December 26 | 16.30 | 40 % |
Make-up examination: Wednesday, January 4, 16.30.
Text
Introductory Notes on the Foundations of Mathematics (available from Ahmet Önal in the math dept)Homework
Some suggested exercises from the text:- § 2.0: all
- § 2.2: all (5 is hard)
- § 2.3: 1
- § 2.4: 1–3
- § 2.6: all
- § 2.7: all
Additional resources
- problems from old exams
- article on Propositional Logic in the Internet Encyclopedia of Philosophy
