WesMaps - Wesleyan University Catalog 2016-2017       Summer Session       Winter Session       Home       Archive       Search
CS92PROD
Can Machines Think? (Logic and Computation)
COMP 131
Fall 2016 not offered

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

Last Updated on MAR-28-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