[ Wesleyan Home Page ] [ WesMaps Home Page ] [ WesMaps Archive ] [ Course Search ] [ Course Search by CID ]
Academic Year 2000/2001

Foundations Of Computer Science I
COMP 551 FA

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

MAJOR READINGS

To be announced

EXAMINATIONS AND ASSIGNMENTS

To be announced

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-26-2001

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