Aim of the course: Students
- learn about and reflect on logic and computation and the relevance of these areas for the theory of artificial intelligence;
- understand the use of models of computation for the foundation of artificial intelligence;
- learn how to read scientific papers and to formulate research questions about them;
- learn to give a presentation;
- learn to write a paper on conducted research;
- learn to give constructive feedback to peers.
|
|
Students will learn how to answer one or more of the following research questions by means of an actor-based methodology in which each question will be addressed from multiple perspectives.+ What is a program?+ What is a computer?+ What are the practical implications of undecidability?+ What is the distinction between a stored-program computer and a universal Turing machine?+ What is the difference between a model (of computation) and a physical computer? This is a reading &writing course. Attendance is obligatory. Homework will already be handed out during the first week of class with a firm deadline in the second week. Late arrivals in class will only be tolerated once; in other cases, they can lead to a deduction of the student’s final grade. The aim of the course on proofs as programs is to get an understanding of type theory and its role within logic, linguistics, and computer science and get acquainted to the Curry-Howard correspondence, relating types to propositions and programs to proofs. More information in Blackboard.
This course is for students in Artificical Intelligence, as well as students in History and Philosophy of Science and the RMA Philosophy. Students of other MA-programmes, please contact the Course Coordinator. Students History and Philosophy of Science and Artificial Intelligence experiencing problems with enrollment, please contact the Student Desk Humanities, studentdesk.hum@uu.nl
|
 |
|
|
Please note: the time slot shown here is not yet final, and may still be modified until 20 September 2023
|
|