Logic
Durham
Engineering&Physical Sciences :: Mathematics&Statistics
Credits: 4.0
Term: Fall 2023 - Full Term (08/28/2023 - 12/11/2023)
Grade Mode: Letter Grading
Term: Fall 2023 - Full Term (08/28/2023 - 12/11/2023)
Grade Mode: Letter Grading
Class Size:
20
CRN: 15778
CRN: 15778
Examination of the basic notions of soundness and completeness, first for sentential and then for propositional logic. Turning to the question of decision procedures for logical formulae, the concept of recursive function, which emerges in the work of Church and Turning, provides the essential link between logic and theory of computation. The course culminates with Godel's Incompleteness Theorems, which demonstrate the intrinsic limitations of the logical method. Offered in alternate years.
Prerequisite(s): MATH 531
Cross listed with : MATH 876.01
Classes not allowed in section: Freshman, Sophomore
Instructors: David Feldman
Times & Locations
Start Date | End Date | Days | Time | Location |
---|---|---|---|---|
8/28/2023 | 12/11/2023 | MWF | 2:10pm - 3:30pm | MORSE 217 |