Logic, Master's programme

Study structure

First semester

The first semester consists of three compulsory courses:

• Logic and Completeness, LOG112,  7.5 credits
• Set theory, LOG121, 7.5 credits
• Modal logic, LOG131, 7.5 credits
• Models of Computation, LOG115, 7.5 credits

Second semester

The second semester consists of two compulsory courses:

• Proof theory, LOG221, 7.5 credits
• Philosophy of Logic, LOG250, 7.5 credits
• Expressibility and Incompleteness, , LOG215, 7.5 credits
• Model theory, LOG211, 7.5 credits

Third semester

The third semester consists of one compulsory course which is studied parallel with three elective ones:

• Research Skills in Logic, LOG310, 7.5 credits
• three elective courses (see a separate list below)

Fourth semester

The fourth semester is devoted to the independent degree project – the 30 credit Master's Thesis

Elective courses

The three elective courses in the third semester are chosen in consultation with the student's mentor, from the following courses:

• Advanced Set Theory (LOG270)
• Advanced Topics in Proof Theory (LOG365)
• Lambda Calculus, Types and Foundations of Programming Languages (LOG370)
• Logic, Games and Automata (LOG290)
• Category Theory (LOG350)
• Functorial Semantics (LOG390)
• Topos Theory (LOG380)
• History of Logic (LOG280)
• Philosophy of Mathematics (LOG360)

• Specialization in Logic 1–5 (LOG230/240/320/330/340)

   

  Selected electives at other departments

• Computational Semantics (LT2813)
• Artificial Intelligence: Cognitive Systems (LT2318)
• Topology (MMA100)
• Discrete Mathematics (MMG610)
• Algebraic Structures (MMG500)
• Functional Programming (DIT143)
• Types for Programs and Proofs (DIT235)

Sandra Schriefer

Education Administrator

+46 766-18 19 27

+46 31-786 19 27

sandra.schriefer@gu.se

Ivan Di Liberti

Programme coordinator

ivan.di.liberti@gu.se

Contact Servicecenter for help with academic transcripts, student account support and the GU card at servicecenter@gu.se