WesMaps - Wesleyan University Catalog 2008-2009       Summer Session       Winter Session       Home       Archive       Search
CS92PROD
Logic and Discrete Mathematics
MATH 553
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.

Essential Capabilities: None
Credit: 1 Gen Ed Area Dept: None
Course Format: LectureGrading Mode: Graded
Level: GRAD Prerequisites: None
Fulfills a Major Requirement for: None

Last Updated on SEP-19-2021
Contact wesmaps@wesleyan.edu to submit comments or suggestions. Please include a url, course title, faculty name or other page reference in your email ? Wesleyan University, Middletown, Connecticut, 06459