|
Nov 22, 2024
|
|
|
|
MATH 202 - Mathematical Logic Semester Hours: 3 Periodically
The propositional calculus: truth tables and axiomatizations. First order theories: completeness theorem, formal number theory, Gödel incompleteness theorem.
Prerequisite(s)/Course Notes: MATH 145 or 171.
Add to Personal Catalog (opens a new window)
|
|