- Schedule of Classes - January 19, 2016 6:14PM EST
- Course Catalog - January 19, 2016 6:21PM EST
Course information provided by the Courses of Study 2015-2016.
Topics in logic that might be covered will go beyond the standard model-theory and natural deduction systems for classical first-order logic. Topics in the foundations of mathematics that might be covered will go beyond very basic set-theory (e.g. the set-theoretic reconstruction of the arithmetic of the natural numbers) in the setting of classical first-order logic. Students should have some background in, and comfort with, mathematics.
When Offered Fall.
Prerequisites/Corequisites Prerequisite: a previous course in logic that covers classical first-order logic under a natural deduction system – or (in special cases) permission of the instructor.
Distribution Category (MQR)
Regular Academic Session. Combined with: MATH 4820
Credits and Grading Basis
4 Credits Stdnt Opt(Student Option)
Topic: Review of Natural Deduction in Prawitz & SC Format
Class Number & Section Details
- TR Rockefeller Hall 104
Disabled for this roster.