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.