COMP 131
Fall 2014
| Section:
01
|
This course will address the question of machine reasoning and its scope through the perspective of computation and logic. We will start by studying the elements of mathematical logic and will learn how to code in the ML programming language so we can approach the issues of automated deduction from both a technical and philosophical perspective. The course will also include extensive readings on consciousness and on the capabilities and limits of computation. Students will be required to write several detailed essays on the issues discussed in class and in the readings. |
|
| Credit: 1 |
Gen Ed Area Dept:
NSM MATH |
| Course Format: Lecture | Grading Mode: Student Option |
| Level: UGRD |
Prerequisites: None |
|
Fulfills a Requirement for: None |
|
Past Enrollment Probability: 90% or above |
| SECTION 01 | | Special Attributes: CQC, FYS |
Major Readings: Wesleyan RJ Julia Bookstore
Richard Hofstadter, GOEDEL, ESCHER, BACH, ISBN: 9780465026562
Jeffrey Ullman, ELEMENTS OF ML PROGRAMMING, 2nd edition, ISBN: 9780137903870
|
Examinations and Assignments:
To be announced |
| Instructor(s): Lipton,James Times: ..T.R.. 09:00AM-10:20AM; Location: SCIE137; |
| Total Enrollment Limit: 15 | | SR major: X | JR major: X | | |
| Seats Available: 2 | GRAD: X | SR non-major: X | JR non-major: X | SO: X | FR: 15 |
| Drop/Add Enrollment Requests | | | | | |
| Total Submitted Requests: 0 | 1st Ranked: 0 | 2nd Ranked: 0 | 3rd Ranked: 0 | 4th Ranked: 0 | Unranked: 0 |
|