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: Lecture | Grading Mode: Graded |
| Level: UGRD |
Prerequisites: COMP212 |
|
Fulfills a Requirement for: (COMP)(MATH)(NS&B)(STS) |
Major Readings:
To be announced.
|
Examinations and Assignments:
To be announced. |
Additional Requirements and/or Comments:
Undergraduates may take this course up to two times for a letter grade and up to four times for credit towards graduation. |
| Drop/Add Enrollment Requests | | | | | |
| Total Submitted Requests: 0 | 1st Ranked: 0 | 2nd Ranked: 0 | 3rd Ranked: 0 | 4th Ranked: 0 | Unranked: 0 |
|