Fall 2012 MATH 125A 001 LEC

Mathematical Logic
Schedule: 
SectionDays/TimeLocationInstructorCCN
001 LECMWF 3-4P 130 WHEELERMEDVEDEV, A54244
Units/CreditFinal Exam GroupEnrollment
48: TUESDAY, DECEMBER 11, 2012 7-10PLimit:40 Enrolled:38 Waitlist:0 Avail Seats:2 [on 11/02/12]
Additional Information: 

Prerequisites: Math 113 for two reasons. There will be many algebraic examples in this course. More importantly, you are expected
to be able to write clear, precise proofs.

Syllabus: (1) will be quick, (2) and (3) are the heart of the course, (4) depends on how much time we have.

  1. Sentential (aka propositional) logic, chapter 1 of Enderton.
  2. Signatures and structures: bits and pieces mostly from chapter 2 of Enderton, many examples from mathematics.
  3. First-order (aka predicate) logic: syntax and semantics, compactness: sections 2.0 - 2.5 of Enderton.
  4. Some model theory, from the first four chapters of Marker's book.

Office: 867 Evans

Office Hours: TBA

Required Text: A Mathematical Introduction to Logic by Herbert Enderton

Recommended Reading: Model Theory : An Introduction by David Marker (electronic copy available through UCBerkeley library website)

Grading: Homeworks, 2 to 3 exams, and 0 to 1 projects will be combined in some way.

Homework: There will be weekly homework assignments. There may also be a larger collaborative project near the end of the semester.

Course Webpage: coming soon