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

Foundations Of Computer Science I
COMP 551 SP

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

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