Apr 18, 2024  
2004-2005 Graduate Bulletin 
    
2004-2005 Graduate Bulletin [ARCHIVED BULLETIN]

Add to Personal Catalog (opens a new window)

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)