|
|
|
Jan 18, 2025
|
|
2015-2016 Graduate 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 275 OR CIS 275
|
|
|