Can Machines Think? (FYS)|
This course is a freshman seminar (an FYS course) that introduces students to foundational ideas in logic, formal languages, and computation that have been the basis of a revolution in thinking in the 20th century. The material includes a substantial logic component and an introduction to programming in SML, a so-called functional programming language, as well as readings about the philosophical impact of these ideas.
The impact of the new cycle of ideas mentioned above has been felt far beyond the confines of the computer science community. Ideas from logic, computation, and other branches of mathematics formerly regarded as "pure" have spread to computation, linguistics, cognitive science, and philosophy; conversely, results from philosophy, linguistics, and other areas have been applied in computer science. New "non-traditional" logics have found unexpected applications in computing.
Traditionally, the background in logic and computation upon which these ideas rest has been taught in advanced courses, although much of it is accessible to students with little or no background in the area (but some willingness to learn formal reasoning and mathematical arguments). Students will learn about the underpinnings of recent technical advances in these areas at an unusually early stage in their careers. We will learn how to code basic programs in SML as well. The course will continue with readings in expository texts about the impact and philosophical significance of important ideas in logic and computation. Some readings in Philosophy of Mind will be assigned and discussed.
||Gen Ed Area Dept:
|Course Format: Lecture||Grading Mode: Student Option|
||Fulfills a Major Requirement for: None
||Past Enrollment Probability: Not Available
|Special Attributes: FYS|
|Major Readings: Wesleyan RJ Julia Bookstore
|Examinations and Assignments: |
Homework will include proofs, simple programs and quite a bit of writing. A final project will include an option to write an essay, a short story, or work of a more technical nature: the proof of theorem or a program.
|Additional Requirements and/or Comments: |
|Instructor(s): Lipton,James Times: .....F. 09:00AM-11:50AM; Location: SCIE216; |
|Total Enrollment Limit: 15||SR major: X||JR major: X|| || |
|Seats Available: 3||GRAD: X||SR non-major: X||JR non-major: X||SO: X||FR: 15|
|Drop/Add Enrollment Requests|
|Total Submitted Requests: 1||1st Ranked: 0||2nd Ranked: 0||3rd Ranked: 0||4th Ranked: 0||Unranked: 1|