CSE 371 - Logic

A survey of the logical foundations of mathematics: development of propositional calculus and quantification theory, the notions of a proof and of a model, the completeness theorem, Goedel's incompleteness theorem.

3 credits

Prerequisite(s): CSE 113  or CSE 150  or CSE 215  or MAT 200  or MAT 250  

Offered: This course is offered as both CSE 371 and MAT 371 .


Print-Friendly Page (opens a new window)
Close Window