Sluiten Help Print Cursus: WBMV13005 WBMV13005 Logic and Computation Cursus informatie Rooster Cursuscode WBMV13005 Studiepunten (ECTS) 7,5 Categorie / Niveau M (M (Master)) Cursustype Cursorisch onderwijs Voertaal Engels Aangeboden door Faculteit Geesteswetenschappen; Utrecht Graduate School of Humanities; Domein Filosofie en Religiewetenschap AM; Contactpersoon dr. R. Iemhoff Telefoon +31 30 2535575 E-mail R.Iemhoff@uu.nl Docenten Contactpersoon van de cursus dr. R. Iemhoff Overige cursussen docent Docent dr. R. Iemhoff Overige cursussen docent Docent R. Jalali Keshavarz Overige cursussen docent Blok 3   (06-02-2023 t/m 07-04-2023) Aanvangsblok 3 Timeslot A: A (MA-ochtend, DI-namiddag, WO-ochtend) Onderwijsvorm Voltijd Cursusinschrijving geopend vanaf 31-10-2022 09:00 t/m 25-11-2022 23:59 Aanmeldingsprocedure Osiris Student Inschrijven via OSIRIS Ja Inschrijven voor bijvakkers Ja Voorinschrijving Nee Na-inschrijving Ja Na-inschrijving geopend vanaf 23-01-2023 09:00 t/m 24-01-2023 23:59 Wachtlijst Nee Plaatsingsprocedure (Sub)school Cursusdoelen Aim of the course: Students learn about and reflect on logic and computation and the relevance of these topics for the theory of artificial intelligence; understand the use of models of computation in the foundations of artificial intelligence; learn how to read scientific papers and how to formulate research questions about them; learn to give a presentation; learn to write a paper about the literature research they have conducted; learn to give constructive feedback to peers.     Inhoud Computation is one of the key concepts in Artificial Intelligence. It plays an important role in the foundations of AI, in its theory and its practice. The computational aspects are in fact an important factor in the modeling of any phenomenon in the field of AI. Many approaches in AI use logic, in many different guises, be it as a model, a computational tool, or otherwise. In this way logic and computation are closely related in AI research. The course has three components. The first one consists of a series of lectures in which the most important models of computation are treated, Turing Machines, Lambda-Calculus and Predicate Logic. In these lectures, the role of logic and formalization in these abstract models is highlighted. These lectures end with a short test. The second component consists of the following tasks: each student studies two research papers, formulates a research question, gives a presentation about one or both of the papers, and writes a final paper in which both papers and the research question are discussed. Both papers have to be related to logic and computation and the research question has to concern both topics. There is a collection of papers that all students get access to and where they can look for suitable papers. The collection includes papers on theory as well as applications, and papers on technical as well as philosophical topics. Possible subjects are: logical complexity, explainable AI, quantum computation, automated theorem proving, symbolic versus subsymbolic methods, temporal logic and software verification, and extensions of the Church-Turing Thesis. More information in Blackboard. The third component consists of refereeing tasks carried out by the students. Each student forms a referee pair with a fellow student and has to comment on the drafts of the presentation and final paper of that fellow student 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     Competenties - Ingangseisen Je moet voldoen aan de volgende eisen Ingeschreven voor één van de volgende opleidingen Ancient, Medieval and Renaissance Studies Applied Ethics Applied Musicology Art History Artificial Intelligence Arts and Society Cognitive Artificial Intelligence Communicatie en Organisatie Comparative Literary Studies Conflict Studies and Human Rights Contemporary Theatre, Dance and Dramaturgy Cultuurgeschiedenis van modern Europa Duitse taal en cultuur: educatie en communicatie Engelse taal en cultuur: educatie en communicatie Film and Television Cultures Franse taal en cultuur: educatie en communicatie GEMMA: Master degree in Women's and Gender studies Gender Studies Gender Studies (Research) Geschiedenis van Politiek en Maatschappij Geschiedenis: educatie en communicatie History History and Philosophy of Science Interculturele communicatie International Relations in Historical Perspective Kunstgeschiedenis Kunstgeschiedenis: educatie en communicatie Linguistics Literair vertalen Literatuur vandaag Media, Art and Performance studies Meertaligheid en taalverwerving Musicology Nederlandse Literatuur en Cultuur Nederlandse taal en cultuur: educatie en communicatie Neerlandistiek New Media and Digital Culture Philosophy Professioneel vertalen Religie en Samenleving Religious Studies Spaanse taal en cultuur: educatie en communicatie Verplicht materiaal Wordt nader bekendgemaakt - Werkvormen Hoorcollege Algemeen Every week there's a lecture (2 hours) as well as a presentation by students.Each student gives one presentation 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 Toetsen Actieve deelname Weging 10 Minimum cijfer - Aspecten van academische vorming • Academisch denken, werken en handelen • Gestructureerd beoordelen van activiteiten en prestaties (van anderen en van zichzelf) • Intellectuele vaardigheden • Communicatieve vaardigheden • Organisatorische vaardigheden Paper Weging 35 Minimum cijfer - Beoordeling Presentation and short paper (max 15 pages) Deadlines Week 10 and not later. Aspecten van academische vorming • Academisch denken, werken en handelen • Bestuderen en analyseren van informatie • Synthetiseren en structureren van informatie • Gestructureerd beoordelen van activiteiten en prestaties (van anderen en van zichzelf) • Intellectuele vaardigheden • Schrijven (algemeen) - diverse typen teksten plannen, schrijven, herschrijven en afwerken • Communicatieve vaardigheden • Wetenschappelijke context • Kennis hanteren in een bredere context • Rapporteren over onderzoek - schriftelijk • Rapporteren over onderzoek - mondeling • Onderzoeksvaardigheden integraal Presentatie Weging 20 Minimum cijfer - Beoordeling Presentations, summaries, and an essay. Aspecten van academische vorming • Academisch denken, werken en handelen • Bestuderen en analyseren van informatie • Synthetiseren en structureren van informatie • Intellectuele vaardigheden • Presenteren - een referaat/pleidooi voorbereiden, uitvoeren en evalueren • Sociaal-contactuele vaardigheden • Gebruiken van informatie- en communicatietechnologie ('computer literacy') • Communicatieve vaardigheden • Kennis hanteren in een bredere context Schriftelijk tentamen 1 Weging 35 Minimum cijfer - Deadlines Written Exam half way during the course Aspecten van academische vorming • Academisch denken, werken en handelen • Bestuderen en analyseren van informatie • Synthetiseren en structureren van informatie • Intellectuele vaardigheden • Schrijven (algemeen) - diverse typen teksten plannen, schrijven, herschrijven en afwerken • Kennis hanteren in een bredere context • Onderzoeksvaardigheden integraal Sluiten Help Print