MATH 553
Spring 2008 not offered
|
| This course may be repeated for credit. |
This course and its sequel, MATH554, will present topics in logic and in discrete mathematics and will devote one semester to each. The topics in logic may include the completeness and compactness theorems for first-order logic, the incompleteness theorems, and logic programming; the topics in discrete mathematics may include graph theory, combinatorics, and the analysis of algorithms. |
|
Essential Capabilities:
None |
| Credit: 1 |
Gen Ed Area Dept:
None |
| Course Format: Lecture | Grading Mode: Graded |
| Level: GRAD |
Prerequisites: None |
|
Fulfills a Requirement for: None |
|
|