WesMaps - Wesleyan University Catalog 2010-2011       Summer Session       Winter Session       Home       Archive       Search
Logic Programming and Computational Logic
COMP 360
Spring 2011 not offered

This course will introduce students to some of the most important applications of logic to computing. The main topic is programming in PROLOG and related so-called declarative languages (including some functional programming), a key tool in artificial intelligence, automated deduction, security applications, and software verification.

The course assumes no background in logic (or in PROLOG). All the necessary mathematical logic background will be covered in class. COMP212 is a prerequisite. (It would be useful to take COMP301 at the same time but not at all required.) There will be almost no overlap with the topics taught in COMP321.

We will look at some applications of logic programming to AI problems, such as natural language recognition, game-playing strategies, and automatic theorem proving.

Essential Capabilities: Logical Reasoning, Quantitative Reasoning
This course will focus on the creation of specific and general computational models and will train students in the mastery of their concrete and formal descriptions.
Credit: 1 Gen Ed Area Dept: NSM MATH
Course Format: LectureGrading Mode: Graded
Level: UGRD Prerequisites: COMP212
Fulfills a Major Requirement for: (COMP)(MATH)(NS&B)

Last Updated on MAY-29-2020
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