2023-2024 Undergraduate Course Catalog 
    
    Dec 27, 2024  
2023-2024 Undergraduate Course Catalog [ARCHIVED CATALOG]

PHI 551 - Mathematical Logic

College of Arts and Sciences
3 credit(s) Irregularly
Predicate calculus with identity, its relationship to mathematics and to computer theory. Important results concerning independence, consistency, completeness, decidability and computability.
PREREQ PHI 251  OR MAT 375  OR CIS 375