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!