P310 Valid Reasoning II
Professor: Craig DeLancey
Office: Marano 212A
Email: craig.delancey@oswego.edu



Current Assignments
13 May
Final exam 8:00 -- 10:00 a.m. in class. Sorry! Some things to study:
  • Using the axioms of the quantified axiomatic logic.
  • Using the Peano axioms.
  • Proving some simple things in natural set theory.
  • Cantor's theorem.
  • Applying and explaining concepts like: complete, consistent, provable.
  • What functions are.
  • The kinds of objects we create in set theory to be in our model for the quantified logic. Interpretations for things like functions or predicates in the model.

Tentative assignments