CloseHelpPrint
Kies de Nederlandse taal
Course module: WBMV13005
WBMV13005
Logic and Computation
Course infoSchedule
Course codeWBMV13005
ECTS Credits7.5
Category / LevelM (M (Master))
Course typeCourse
Language of instructionEnglish
Offered byFaculty of Humanities; Utrecht Graduate School of Humanities; Domein Filosofie en Religiewetenschap AM;
Contact persondr. R. Iemhoff
Telephone+31 30 2535575
E-mailR.Iemhoff@uu.nl
Lecturers
Course contact
dr. R. Iemhoff
Other courses by this lecturer
Lecturer
dr. R. Iemhoff
Other courses by this lecturer
Lecturer
R. Jalali Keshavarz
Other courses by this lecturer
Teaching period
3  (06/02/2023 to 07/04/2023)
Teaching period in which the course begins
3
Time slotA: A (MON-morning, TUE-afternoon, WED-morn)
Study mode
Full-time
Enrolment periodfrom 31/10/2022 up to and including 25/11/2022
Course application processOsiris Student
Enrolling through OSIRISYes
Enrolment open to students taking subsidiary coursesYes
Pre-enrolmentNo
Post-registrationYes
Waiting listNo
Course placement process(Sub)school
Course goals
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.

     

 
Content
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

 
 
Competencies
-
Entry requirements
You must meet the following requirements
  • Enrolled for one of the following degree programmes
    • Ancient, Medieval and Renaissance Studies
    • Applied Ethics
    • Applied Musicology
    • Art History
    • Art History
    • Art History: Education and Communication
    • Artificial Intelligence
    • Arts and Society
    • Cognitive Artificial Intelligence
    • Communication and Organisation
    • Comparative Literary Studies
    • Conflict Studies and Human Rights
    • Contemporary Theatre, Dance and Dramaturgy
    • Cultural History of Modern Europe
    • Dutch
    • Dutch Language and Culture: Education and Communication
    • Dutch Literature and Culture
    • English Language and Culture: Education and Communication
    • Film and Television Cultures
    • French Language and Culture: Education and Communication
    • GEMMA: Master degree in Women's and Gender studies
    • Gender Studies
    • Gender Studies (Research)
    • German Language and Culture: Education and Communication
    • History
    • History and Philosophy of Science
    • History of Politics and Society
    • History: Education and Communication
    • Intercultural Communication
    • International Relations in Historical Perspective
    • Linguistics
    • Literary Translation
    • Literature Today
    • Media, Art and Performance studies
    • Multilingualism and Language Acquisition
    • Musicology
    • New Media and Digital Culture
    • Philosophy (research)
    • Professional Translation
    • Religion and Society
    • Religious Studies
    • Spanish Language and Culture: Education and Communication
Prerequisite knowledge
Acquaintance with propositional and first-order logic.
Private study materials
For logic: any introductory text on logic or Chapter 2 of "Knowledge Representation and Reasoning" by Brachman & Levesque, 2003.
Required materials
Yet to be specified
-
Instructional formats
Lecture

General remarks
Every week there's a lecture (2 hours) as well as a presentation by students.Each student gives one presentation

Contribution to group work
Students should select (under guidance) a theoretical concept of computation and three actors, conduct research, present their findings, and write an essay.

Presentation

Tests
Active participation
Test weight10
Minimum grade-

Aspects of student academic development
Academic thinking, working and acting
Structured activity and performance evaluation (of others as well as personal)
Intellectual skills
Communication skills
Organisational skills

Paper
Test weight35
Minimum grade-

Assessment
Presentation and short paper (max 15 pages)

Deadlines
Week 10 and not later.

Aspects of student academic development
Academic thinking, working and acting
Information study and analysis
Synthesizing and structuring of information
Structured activity and performance evaluation (of others as well as personal)
Intellectual skills
Writing skills (general) - preparing, writing, rewriting and finishing various texts
Communication skills
Scientific context
Knowledge leverage in a wider context
Research reports - written
Research reports - oral
Research skills - overall

Presentation
Test weight20
Minimum grade-

Assessment
Presentations, summaries, and an essay.

Aspects of student academic development
Academic thinking, working and acting
Information study and analysis
Synthesizing and structuring of information
Intellectual skills
Presentations - preparation, execution and evaluation of lectures and defences
Human communication skills
Using information and communication technology ('computer literacy')
Communication skills
Knowledge leverage in a wider context

Written test 1
Test weight35
Minimum grade-

Deadlines
Written Exam half way during the course

Aspects of student academic development
Academic thinking, working and acting
Information study and analysis
Synthesizing and structuring of information
Intellectual skills
Writing skills (general) - preparing, writing, rewriting and finishing various texts
Knowledge leverage in a wider context
Research skills - overall

CloseHelpPrint
Kies de Nederlandse taal