[ Wesleyan Home Page ] [ WesMaps Home Page ] [ WesMaps Archive ] [ Course Search ] [ Course Search by CID ]
Academic Year 2003/2004


Logic and Discrete Mathematics
MATH 553 FA

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

SECTION 01

Instructor(s): Collins,Karen L.   
Times: ..T.R.. 02:40PM-04:00PM;     Location: SCIE618
Reserved Seats:    (Total Limit: 15)
SR. major: 3   Jr. major: 2
SR. non-major: X   Jr. non-major: X   SO: X   FR: X

Special Attributes:
Curricular Renewal:    Quantitative Reasoning
Links to Web Resources For This Course.

Last Updated on MAR-19-2004


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