MATH 280A LEC A: MATH LOGIC (45130)

MATH 280A LEC A: MATH LOGIC (45130)

Instructor Contact Information:

Isaac Goldbring
Email: isaac@math.uci.edu

Homepage: http://www.math.uci.edu/~􏰀isaac
Office Hours: Wednesdays at 8am (Zoom invitation to be emailed)

Course Information:

  • Required Text: There is no required text and I will lecture from my own notes.

  • Recommended Text: For the set theory portion of the course, I recommend Enderton's book "Elements of set theory."  For the portion of the course where we cover the Completeness and Compactness Theorems, Chapter 2 of Enderton's book "A Mathematical Introduction to Logic" contains much of the relevant material.  One might also consider consulting the first two sections of Tony Martin's notes.

  • Class Meetings: TR 3-4:20 to be held by Zoom (Zoom invitation to be emailed).

  • Homework: There will be 3 problem sets during the quarter, due October 15, November 5, and November 29.  Each problem set will have 6 problems, but I will only grade 4.  The problem sets are to be turned in on Canvas and are due at 11:59pm on the due date.

  • Final Exam: There will be a take-home final exam due Tuesday, December 7 at 11:59pm.  The final will also be turned in on Canvas.

  • Grades: Grades will be calculated as follows:

    • Homework: 25% each (75% total)

    • Final Exam: 25%

Course Summary:

Date Details Due