Meetings: Tuesday, Thursday 3:00-4:20pm.
Room: APM 7321

Student-written scribe notes

Homework problems

Informal Registration: Please fill out the form at to register your participation in the course.

Instructor: Sam Buss
   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.

Course announcement.

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.