Seminar Mathematical Logic

3 EC

Semester 2, period 4, 5

5314SEML3Y

Owner Master Logic
Coordinator Balder ten Cate
Part of Master Logic,

Course manual 2022/2023

Course content

Selected research papers or other texts in mathematical logic will be handed out to the students who then have to read them, understand them and present them to the seminar.

Study materials

Literature

  • See Canvas

Objectives

  • The goal of this seminar is to give students an opportunity to train their reading skills in mathematical and/or computational logic, and learn how to present

Teaching methods

  • Seminar
  • Presentation/symposium
  • Self-study
  • Lecture

There will be 3 lectures in which basic introduction to the topic is given.

The rest of the course consists of  seminar sessions where students are giving talks. Each student will present in one of the sessions.

Learning activities

Activity

Hours

  

Lectures

6

  

Seminar

24

  

Self study

54

  

Total

84

(3 EC x 28 uur)

Attendance

This programme does not have requirements concerning attendance (TER-B).

Additional requirements for this course:

Not applicable.

Assessment

Item and weight Details

Final grade

Inspection of assessed work

See Cavnas.

Fraud and plagiarism

The 'Regulations governing fraud and plagiarism for UvA students' applies to this course. This will be monitored carefully. Upon suspicion of fraud or plagiarism the Examinations Board of the programme will be informed. For the 'Regulations governing fraud and plagiarism for UvA students' see: www.student.uva.nl

Course structure

See Canvas.

Timetable

The schedule for this course is published on DataNose.

Honours information

not applicable

Additional information

Please contact the coordinator if you want to follow the seminar a second time as an elective course. In that case you do not need to register via SIS.

Contact information

Coordinator

  • Balder ten Cate