Spring 97
CS486

Applied Logic

 
Instructor:   Professor Robert L. Constable , 4147 Upson Hall,  rc@cs.cornell.edu.
Office Hours: Tuesday, Thursday 11:30- 12:00, Wednesday 3:00 - 4:00
 
TA:  Pavel Naumov, 4156 Upson Hall, pavel@cs.cornell.edu.
 
Time & Location: TR 10:10 - 11:30, Phillips 403

Course Summary | Course Administration | Announcements | Lecture Notes | Assignments
Selected Solutions |Prelims | | Nuprl Link | Web Links

Course Summary

Course Administration

Work Load:

Grading:

Homework
35 - 45 %
must be your own words, acknowledging sources
Prelim
13 - 17 %
 
Final
25 - 35 %
 
Project
12 - 18 %
possible joint work

Textbooks:

  1. First Order Logic, R. Smullyan
  2. On Formally Undecidable Propositions of Principia Mathematica and Related Systems, Kurt Godel
  3. Axiomatic Set Theory, P.Suppes
Announcements
Lecture Notes
  1. html dvi ps
  2. html dvi ps
  3. html dvi ps
  4. html dvi ps
  5. html dvi ps Kleene Axioms html dvi ps Rule_Table html dvi ps
  6. html dvi ps
  7. html dvi ps
  8. html dvi ps
  9. html div ps Defining Refinement Logic html dvi ps
  10. html dvi ps
  11. html dvi ps Notes on Lecture 11
  12. html dvi ps
  13. html dvi ps
  14. html dvi ps
  15. html dvi ps
  16. html dvi ps
  17. html dvi ps
  18. html dvi ps
  19. html dvi ps
  20. html dvi ps
  21. html dvi ps
  22. html dvi ps
  23. html dvi ps
  24. html dvi ps
  25. html dvi ps
  26. html dvi ps
  27. html dvi ps

Assignments

  1. html dvi ps (results: average grade 46/50, median grade 48/50)
  2. html dvi ps
  3. html dvi ps
  4. html dvi ps
  5. html dvi ps
  6. html dvi ps
  7. html dvi ps
  8. html dvi ps Project html dvi ps
  9. html dvi ps
  10. html dvi ps
  11. html dvi ps
  12. html dvi ps
  13. html dvi ps
Selected Solutions To Assignments
Prelims
  1. Practice Prelim html dvi ps
  2. Prelim html dvi ps

Nuprl

Nuprl is a proof developing system created here, at Cornell CS Department. We will be using Nuprl 4.2 as courseware. You can find extra information about Nuprl Project at Nuprl Web Page . For those of you who re going to do course project in Nuprl there are three important documents to read

Database of Existing Mechanized Reasoning Systems (Stanford)

Return To Top Of Page
Return to CS Course Page