| |
Oct 11, 2025
|
|
|
|
|
Fall 2025 Undergraduate Catalog
|
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 .
|
|