2018-2019 Undergraduate Course Catalog 
    
    Jul 10, 2020  
2018-2019 Undergraduate Course Catalog [ARCHIVED CATALOG]

Add to Portfolio (opens a new window)

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  



Add to Portfolio (opens a new window)