MAT 7670 : Mathematical Logic

The sentential calculus, truth functions, analytic tableaux, natural deduction, first order logic, models, consistency, completeness. Applications to computer science including the P-NP problem.

Overview

Program

Credits

3

Last Offered

Summer 2017, Summer 2014, Spring 2012, Summer 2010