[ Wesleyan Home Page ] [ WesMaps Home Page ] [ Course Search ] [ Course Search by CID ]

Foundations Of Computer Science I
COMP551 FA

An introduction to computational logic. Topics include equational logic, term rewriting, unification, and typed lambda calculus.

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): Dougherty,Daniel J.   

Times: .M.W... 02:40PM-04:00PM;     Location: SCIE618

Reserved Seats:    (Total Limit: UNL)

SR. major:    Jr. major:

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

Special Attributes:

Last Updated on MAR-24-2000

Copyright Wesleyan University, Middletown, Connecticut, 06459