WesMaps - Wesleyan University Catalog 2010-2011       Summer Session       Winter Session       Home       Archive       Search
Logic Programming and Computational Logic
COMP 360
Fall 2010
Section: 01  

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
Students will learn programming and algorithms
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)(STS)
Past Enrollment Probability: Not Available

Last Updated on APR-13-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