SluitenHelpPrint
Switch to English
Cursus: WBMV13005
WBMV13005
Logic and Computation
Cursus informatieRooster
CursuscodeWBMV13005
Studiepunten (ECTS)7,5
Categorie / NiveauM (Master)
CursustypeCursorisch onderwijs
VoertaalEngels
Aangeboden doorFaculteit Geesteswetenschappen; Utrecht Graduate School of Humanities; Domein Filosofie en Religiewetenschap AM;
Contactpersoondr. R. Iemhoff
Telefoon+31 30 2535575
E-mailR.Iemhoff@uu.nl
Docenten
Docent
dr. R. Iemhoff
Overige cursussen docent
Blok
4  (23-04-2018 t/m 29-06-2018)
Aanvangsblok
4
TimeslotA: MA-ochtend, DI-namiddag, WO-ochtend
Onderwijsvorm
Voltijd
Cursusinschrijving geopendvanaf 30-10-2017 t/m 26-11-2017
AanmeldingsprocedureOsiris
Inschrijven via OSIRISJa
Inschrijven voor bijvakkersJa
VoorinschrijvingNee
WachtlijstNee
Plaatsingsprocedure(Sub)school
Cursusdoelen
The aim of this course is to reflect on fundamental concepts related to logic and computation (and computability theory in particular) in the context of computer programming. Students will reflect by reading, writing, and presenting their research findings on a weekly basis.
 
Inhoud
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. Students History and Philosophy of Science and Artificial Intelligence experiencing problems with enrollment, please contact the Student Desk Humanities, studentdesk.hum@uu.nl

This course is for Students History and Philosophy of Science, RMA Philosophy and Artificial Intelligents. Students of other MA-programmes, please contact the Course Coordinator. 
 
Ingangseisen
Je moet ingeschreven staan voor één van de volgende opleidingen:
- Artificial Intelligence
- Cognitive Artificial Intelligence
- History and Philosophy of Science
- Philosophy
Voorkennis
Acquaintance with at least one, preferably more, programming language acquaintance with at least Turing machines as modals of computation.
Verplicht materiaal
Wordt nader bekendgemaakt
Werkvormen (aanwezigheidsplicht)
Hoorcollege (Verplicht)

Algemeen
Every week there's a lecture (2 hours) as well as a presentation by students.

Bijdrage aan groepswerk
Students should select (under guidance) a theoretical concept of computation and three actors, conduct research, present their findings, and write an essay.

Presentatie (Verplicht)

Toetsen
Paper
Weging50
Minimum cijfer-

Beoordeling
Presentation and short paper (max 15 pages)

Deadlines
Week 10 and not later.

Presentatie
Weging50
Minimum cijfer-

Beoordeling
Presentations, summaries, and an essay.

SluitenHelpPrint
Switch to English