**Meetings:** Tuesday, Thursday 3:00-4:20pm.

**Room:** APM 7321

**Informal Registration:** Please fill out the form at
https://forms.gle/sF5RbSyz7QHYghTN7
to register your participation
in the course.

**Instructor:** Sam Buss

*Email:* sbuss@ucsd.edu

*Office:* APM 7456

*Office hours:* TBA.

**Online course tools**

**Piazza:** For general
discussions and questions. Sign up on the google form and Sam will add you.

**Gradescope:** For homework
assignments. Add yourself to the gradescope roster with
the entry code TO BE ANNOUNCED.

MATHEMATICAL LOGIC - Math 260B

Instructor: Sam Buss

**Topics:** This is an introductory level course in mathematical logic at the graduate level. Topics to be covered during the Winter quarter to include (a) Computability, Undecidability, Recursion Theory, Arithmetic Hierarchy; (b) Peano Arithmetic, Metamathematics, the Incompleteness Theorems; (c) Bounded Arithmetic and other fragments and Computational Complexity (polynomial time, primitive recursive functions; (d) Additional topics from logic and CS as time permits, such as finite model theory.

**Prerequisites:** This is a successor to Math 260A; however, students with a background in logic can take this quarter independently. Scribe notes for 260A are available online; the primary topics from 260A needed for 260B will be the soundness and completeness theorems and the sequent calculus.

**Course work:** To be discussed in the first lectures. Please be in touch if you cannot make the first lecture but plan to participate.