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.