# Fall 2012 MATH 125A 001 LEC

Section | Days/Time | Location | Instructor | CCN |
---|---|---|---|---|

001 LEC | MWF 3-4P | 130 WHEELER | MEDVEDEV, A | 54244 |

Units/Credit | Final Exam Group | Enrollment |
---|---|---|

4 | 8: TUESDAY, DECEMBER 11, 2012 7-10P | Limit:40 Enrolled:38 Waitlist:0 Avail Seats:2 [on 11/02/12] |

**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.

- Sentential (aka propositional) logic, chapter 1 of Enderton.
- Signatures and structures: bits and pieces mostly from chapter 2 of Enderton, many examples from mathematics.
- First-order (aka predicate) logic: syntax and semantics, compactness: sections 2.0 - 2.5 of Enderton.
- 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