Spring 2019 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.
||Gen Ed Area Dept:
|Course Format: Lecture||Grading Mode: Student Option|
||Fulfills a Major Requirement for: None
To be announced
|Examination and Assignments: |
To be announced.
|Additional Requirements and/or Comments: |
THIS SECTION IS A FIRST-YEAR SEMINAR (FYS) CLASS.