Online Course Materials (Archival)
Instructor: Sam Buss

The links below access current and historical online course materials.  Old course pages are rarely being maintained any more, but are kept in case they are useful for miscellaneous use. 

Current, Recent, and Future Courses

• Math 260. Introduction to Mathematical Logic. Fall 2007 - Spring 2008.

Selected Old Courses

• Math 20F - Linear Algebra, Winter 2003
• Math 20F - Linear Algebra,  Spring 2003
• Math 160AB - Mathematical Logic, Winter-Spring 2002.
• Math 176 - Data Structures, Fall 2000.
• Math 15A - Discrete Mathematics, Spring 1999.
• Introduction to Theory of Computability
  • Math 166 - Fall 1999
  • Math 166 - Winter 1999
• Set Theory courses: (Graduate Level Courses),
  • Set Theory - Math 165, Spring 1999 - undergraduate.
  • Math 267 - Set Theory, Winter-Spring 2001.
  • Winter-Spring 1998. Course outline and homework assignments - For the winter quarter only.
  • Spring 1995. Homework assignments in postscript format.
• Computer Graphics courses: (Reverse chronological order.)
  • Math 155A - Introduction to Computer Graphics I, Spring 2005. Students' Final Projects.
  • Math 155B - Introduction to Computer Graphics II, Winter 2005. Students' Final Projects.
  • CSE 167 - Introduction to Computer Graphics I, Fall 2004.  Students' Final Projects.
  • Math 155B - Introduction to Computer Graphics II, Winter 2004.   Students' Final Projects.
  • CSE 167 - Introduction to Computer Graphics, Fall 2003.   Students' Final Projects.
  • Math 217A - Computer Graphics, Spring 2002.   Students' Final Projects.
  • Math 155AB - Geometric Computer Graphics, Winter-Spring 2001.
            Students' Final Projects for 155B,
            Students' Project #3 for 155B (Distributed Ray Tracing),
            Student's Final Projects for 155A.
  • Math 155AB - Geometric Computer Graphics, Fall 1999 - Winter 2000. Students' Final Projects (Winter 2000)
  • Math 217A - Computer Graphics and Virtual Reality, Spring 1997.
• Logic and Complexity: Seminars and Topics Courses:
  • Math 268 - Seminar on Logic: Resolution and Satisfiability Algorithms, Winter-Spring 2007.
  • Math 267C - Topics in Logic, Spring 2003. Course announcement.
  • Math 267A - Propositional Proof Complexity, Winter 2002. - Student written scribes notes available online
  • Math 267A - Mathematical Foundations of Cryptography, Winter 1997. Course description and scribe notes.
  • Math 267A - Probabilistically Checkable Proofs, Spring 1996. Pointers to material on the web.
  • Math 267A - Circuit Complexity, Winter and Spring 1992.  All 156 pages of the student written lecture notes plus homework assignments are available.
  • Math 260ABC.  Introduction to Mathematical Logic, Fall 1988 - Spring 1989.  Student-written lecture notes online.
• Computer Literacy Course - Spring 1996. There are web pages for the entire course; or go directly to documentation based on Buss's lectures:
  • Sample LaTeX document,
  • Examples of using Mathematica
  • Introduction to UNIX.

Quotations.

   Jason Lee has saved a few quotations from one of my Set Theory courses.