WesMaps - Wesleyan University Catalog 2014-2015       Home       Archive       Search
Can Machines Think? (Logic and Computation)
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: LectureGrading Mode: Student Option
Level: UGRD Prerequisites: None
Fulfills a Major Requirement for: None
Past Enrollment Probability: 90% or above

Last Updated on OCT-21-2017
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