CS580 - Fall 2008
TA: Mitch Horton
Office hours: Tuesday 10:00 am - 12:30 pm, 110j
logic handout
hw1 solution
hw2 solution
hw4 solution
halting handout
turing machine hw answers
countability handout
nfl handout
proof handout (including extra credit hw due 23 Sep)
rice's proof handout
cannonical order handout
arithmetic handout
trust handout
latex output example
latex input example
latex compiler
math tutorial