|
This course may be repeated for credit.
This course and its sequel, MATH554, will present topics in logic and in discrete mathematics, and 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.
COURSE FORMAT: Lecture
Level: GRAD Credit: 1 Gen Ed Area Dept: NONE Grading Mode: Graded
Prerequisites: NONE Links to Web Resources For This Course.
Last Updated on MAR-30-2006
Copyright Wesleyan University, Middletown, Connecticut, 06459