WesMaps - Wesleyan University Catalog 2006-2007       Summer Session       Winter Session       Home       Archive       Search
CS92PROD
Foundations Of Computer Science I
COMP 551
Spring 2007 not offered

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

Essential Capabilities: None
Credit: 1 Gen Ed Area Dept: None
Course Format: LectureGrading Mode: Graded
Level: GRAD Prerequisites: None
Fulfills a Major Requirement for: None

Last Updated on MAR-02-2024
Contact wesmaps@wesleyan.edu to submit comments or suggestions. Please include a url, course title, faculty name or other page reference in your email ? Wesleyan University, Middletown, Connecticut, 06459