|
|
Dec 05, 2024
|
|
2019-2020 Undergraduate Course Catalog [ARCHIVED CATALOG]
|
PHI 551 - Mathematical LogicCollege 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
|
|
|