Math 571 Spring 2002
A.Miller
homepage
Welcome to Math 571.
first day handout
home.tex ..
home.pdf.. Homework Assignments
proplog.tex ..
proplog.pdf
... Handout on propositional
logic.
It is an excerpt from:
logintro.tex ..
logintro.pdf
complete.tex ..
complete.pdf handout on completeness thm
midterm.tex ..
midterm.pdf .. answers at the end..
review.tex ..
review.pdf.. Review questions for final exam.
final.tex ..
final.pdf
email announcements
2-13...
3-1...
5-6...
5-10...
571-1987.pdf .. Old exams
If you want to read a clear definition of the class primitive recursive functions, see the first 10 pages of Steve Simpson's class notes: math558
Files with extension .pdf are readible using Adobe's free Acrobat
browser plugin (www.adobe.com)
Get Acrobat. You can print from this program.
The files of the form *.tex are plain ascii and in the markup
language TeX (by D.Knuth) with macro package LaTeX. You can read
these if you ignore the typesetting commands, eg $ \ etc.