|
Apr 18, 2024
|
|
|
|
MATH 202 - Mathematical Logic Periodically
The propositional calculus: truth tables and axiomatizations. First order theories:
completeness theorem, formal number theory, Gödel incompleteness theorem.
Prerequisites & Notes MATH 145. Same as CSC 201A.
Credits: 3 s.h.
Add to Personal Catalog (opens a new window)
|
|