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: Lecture | Grading Mode: Graded |
| Level: UGRD |
Prerequisites: COMP212 |
|
Fulfills a Requirement for: (COMP)(MATH)(NS&B)(STS) |
|
Past Enrollment Probability: Not Available |
|
|