|
|
|
Nov 24, 2024
|
|
2023-2024 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
|
|
|