MATH 776 (01) - 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
Class Size:   20  
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