[ Wesleyan Home Page ] [ WesMaps Home Page ] [ WesMaps Archive ] [ Course Search ] [ Course Search by CID ]
Academic Year 2005/2006


Logic and Discrete Mathematics
MATH 553 FA

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.

MAJOR READINGS

TBA

EXAMINATIONS AND ASSIGNMENTS

Regular homework, take-home midterm and final.

COURSE FORMAT: Lecture

REGISTRATION INFORMATION

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


Contact wesmaps@wesleyan.edu to submit comments or suggestions. Please include a url, course title, faculty name or other page reference in your email

Copyright Wesleyan University, Middletown, Connecticut, 06459