Fundamentals of Mathematics

Scores on [the final] exam

This is the webpage for Math 111 in the 2004 fall semester.

The main text for the course should be the notes that you take in class. However, some printed notes, entitled Introductory Notes on the Foundations of Mathematics, are available from Ahmet Önal in the mathematics department, or here:

• pdf
• ps
• dvi
• tex

We shall discuss these topics, for about this long:

• Preliminaries (some classical proofs; Boolean connectives): 1 week.
• Propositional logic: 4 weeks.
• Predicate logic: 1 week.
• Sets (relations, functions, first-order logic...): 3 weeks.
• Numbers (induction, recursion...): 4 weeks.

Examinations

Problems from past exams (Note: In the third set of problems here, the Greek letter ω (omega) is used instead of N for the set of natural numbers; also 2 should be considered as the set {0,1}, and 5 as {0,1,2,3,4}.)

We shall give three examinations:

1. November 2, Tuesday, 17.40: through propositional logic. Topics
2. December 7, Tuesday, 17.40: predicate logic and sets (including relations and functions). Topics
3. Final exam, January 10, Monday, 16.00. Topics

The make-up exam will be January 17, Monday, 10.00.