Fall 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.
||Gen Ed Area Dept:
|Course Format: Lecture||Grading Mode: Graded|
||Fulfills a Major Requirement for: None
|Examinations and Assignments: |
Regular homework, take-home midterm and final.
|Drop/Add Enrollment Requests|
|Total Submitted Requests: 0||1st Ranked: 0||2nd Ranked: 0||3rd Ranked: 0||4th Ranked: 0||Unranked: 0|