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

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

EXAMINATIONS AND ASSIGNMENTS

COURSE FORMAT: Lecture

REGISTRATION INFORMATION

Level: GRAD    Credit: 1    Gen Ed Area Dept: NONE    Grading Mode: Graded   

Prerequisites: NONE

SECTION 01

Instructor(s): Lipton,James   

Times: ..T.R.. 02:40PM-04:00PM;     Location: SCIE618

Reserved Seats:    (Total Limit: 15)

SR. major: 3   Jr. major: 2

SR. non-major:    Jr. non-major:    SO:    FR:

Special Attributes:

Curricular Renewal:    Quantitative Reasoning

Last Updated on MAR-18-2003

Copyright Wesleyan University, Middletown, Connecticut, 06459