Dr. Gabriel Robins Professor of Computer Science Department of Computer Science School of Engineering and Applied Science University of Virginia 151 Engineer's Way, P.O. Box 400740 Charlottesville, VA 22904-4740, USA robins@cs.virginia.edu www.cs.virginia.edu/robins Phone: (434) 982-2207, Fax: (434) 982-2214 Office: 210 Olsson Hall Gabe's vitae / resume (NIH Biosketch)

CS6160 - Theory of Computation, UVa

• Prof contact information and office hours

• Student contact Emails

• Syllabus

• Office hours: right after each class meeting; also by appointment, or at any time that I'm in my office. Q&A will also be conducted by Email and posted on the course blog continuously.

• Questionnaire

• Basic concepts and definitions

• Lecture Slides:
  • Historical perspectives (part 1): Aristotle and Euclid
  • Historical perspectives (part 2): Archemedes, Fibonacci, Fermat, Newton, Euler, and Gauss
  • Historical perspectives (part 3): Boole, Babbage, and Ada Lovelace
  • Historical perspectives (part 4): Cantor and infinities
  • Historical perspectives (part 5): Russell, Ramsey, and Hilbert
  • Historical perspectives (part 6): Hilbert's problems
  • Historical perspectives (part 7): Godel, Church, and Turing
  • Historical perspectives (part 8): the Halting Problem reloaded
  • Historical perspectives (part 9): oracles and Turing degrees
  • Historical perspectives (part 10): self-replication, information theory, entropy
  • Historical perspectives (part 11): Finite automata, regular languages & expressions
  • Nondeterminism, Turing machine enhancements
  • Turing decidability, recognizability, and Rice's theorem
  • Computational universality and the Church-Turing Thesis
  • More fractal-based algorithmic art
  • Resource-bounded computations
  • NP Completeness, reloaded (part 1)
  • NP Completeness, reloaded (part 2)
  • The Turing Test and the Technological Singularity

• Problem sets:
  • Problem set 1 and Solutions to Problem set 1
    
  • Problem set 2
    
  • Problem set 3
    

• Course evaluation (and plain text version)

• Q and A: PLEASE READ THIS OFTEN!

• Good supplemental readings:

• Good puzzles and games Web stores: