Math 277, Autumn Quarter 2017

Course: TTh 12:30-1:50 in Eckhart 202.
This course continues as Math 278 in the Winter Quarter.

Course instructor: M. Malliaris, 406 Eckhart
Office hours starting in Week 2: Monday 10-11 and Thursday 10-11, and by appointment.
No office hours on 11/23.

Course assistant: S. Reitzes
Office hours starting in Week 2: Monday 12:30-1:30, Wednesday 2:30-4:30
Problem session: Eckhart 203, Thursday 5-6pm.
No office hours or problem session on 11/22 or 11/23.

References: Chang and Keisler, Model Theory (suggested).
You may also enjoy looking at Enderton's Introduction to Logic.

Midterm Exam: Tuesday, October 17, in class.
Final Exam: Thursday, December 7, 1:30-3:30pm.


Week 1 documents : Syllabus, and the first homework, Homework 1, note due date: Monday

Week 2 documents : Homework 2. note minor edit to challenge problem from paper copy

Week 3 documents : Midterm review sheet, not to be turned in.

Week 4 documents : Homework 3. (On the back I had xeroxed pps. 22-23 of Chang and Keisler.)

Week 5 documents : Homework 4. I distributed a handout on formal proof (copies available in my office).

Week 6 documents : Homework 5. I distributed a handout corresponding to the beginning of CK 2.1.

Week 7 documents : Homework 6.

Week 8 documents : Homework 7.

Week 9 documents : Review sheet, not to be turned in.


It is the policy of the Department of Mathematics that the following rules apply to final exams in all undergraduate mathematics courses:
  • The final exam must occur at the time and place designated on the College Final Exam Schedule. In particular, no final examinations may be given during the tenth week of the quarter, except in the case of graduating seniors.
  • Instructors are not permitted to excuse students from the scheduled time of the final exam except in the cases of an Incomplete, or a graduating senior.