Math 267A - Topics in Logic - Proof Complexity
Instructor: Sam Buss
Winter 2002, Univ. of California, San Diego
Scribe Notes
The entire set of available scribe notes is combined into one document in PDF or postscript format.
Or, you may download individual lectures below:
Lecture #1, Monday, January 14. Scribe: Rob Ellis.
Notes available in LaTeX, and
postscript and PDF.
Lecture #2, Wednesday, January 16. Scribe: Sashka Davis.
Notes available in LaTeX, and
postscript and PDF.
Lecture #3, Wednesday, January 23. Scribe: Reid
Andersen..
Notes available in LaTeX, and
postscript and PDF.
Lecture #4, Monday, January 28. Scribe: Alan Nash.
Notes available in LaTeX, and
postscript and PDF.
Lecture #5, Wednesday, January 30. Scribe: Tamsen Dunn.
Notes available in LaTeX, and
postscript and PDF.
Lecture #6, Monday, February 4. Scribe: Rosalie Iemhoff.
Notes available in LaTeX, and
postscript and PDF.
Lecture #7, Wednesday, February 6. Scribe: Daniel Curtis.
Notes available in LaTeX, and
postscript and PDF.
Lecture #8, Monday, February 11. Scribe: Bryant Forsgren.
Notes available in LaTeX, and
postscript and PDF.
Lecture #9, Wednesday, February 13. Scribe: Nate
Segerlind.
Notes available in LaTeX, and
postscript and PDF.
Lecture #10, Wednesday, February 20. Scribe: Josh
Cooper.
(NOT AVAILABLE.)
Lecture #11, Wednesday, February 27. Scribe: Liz
Arentzen.
Notes available in LaTeX, and
postscript and PDF.
No scribe notes available for the rest of the lectures. Sorry!