Mastersprogrammet i logik
Läs mer om Logik, masterprogram på gu.se.
Välkommen till studentportalens sidor för Mastersprogrammet i logik.
För mer detaljer om programmet byt språk till engelska genom att klicka på ikonen i sidhuvudet.
Organiseras av
Institutionen för filosofi, lingvistik och vetenskapsteori vid Humanistiska fakulteten
Studentkår
Utbildningsplan
Utbildningsplan, giltig från höst 2026 Utbildningsplan (pdf)
Programmets upplägg:
Termin 1
Den första terminen består av fyra obligatoriska kurser:
- Logik och fullständighet (Logic and Completeness), LOG112, 7,5 hp
- Mängdteori (Set Theory), LOG121, 7,5 hp
- Modal logik (Modal Logic), LOG131, 7,5 hp
- Beräkningsmodeller (Models of Computation), LOG115, 7,5 hp
Termin 2
Den andra terminen består av fyra obligatoriska kurser:
• Bevisteori (Proof Theory), LOG221, 7,5 hp
• Logikfilosofi (Philosophy of Logic), LOG250, 7,5 hp
• Uttryckbarhet och ofullständighet (Expressibility and Incompleteness), LOG215, 7,5 hp
• Modellteori (Model Theory), LOG211, 7,5 hp
Termin 3
Den tredje terminen består av en obligatorisk kurs som läses parallellt med tre valbara kurser:
• Forskningsfärdigheter i logik (Research Skills in Logic), LOG310, 7,5 hp
• Tre valbara kurser (se separat lista nedan)
Fjärde terminen
Den fjärde terminen ägnas helt åt det självständiga examensarbetet:
• Masteruppsats, 30 hp
Valbara kurser
De tre valbara kurserna under tredje terminen väljs i samråd med studentens mentor från följande kurser:
• Avancerad mängdteori (Advanced Set Theory), LOG270
• Avancerade ämnen inom bevisteori (Advanced Topics in Proof Theory), LOG365
• Lambda-kalkyl, typer och programmeringsspråkens grunder (Lambda Calculus, Types and Foundations of Programming Languages), LOG370
• Logik, spel och automater (Logic, Games and Automata), LOG290
• Kategoriteori (Category Theory), LOG350
• Funktoriell semantik (Functorial Semantics), LOG390
• Toposteori (Topos Theory), LOG380
• Logikens historia (History of Logic), LOG280
• Matematikfilosofi (Philosophy of Mathematics), LOG360
• Specialisering i logik 1–5 (Specialization in Logic 1–5), LOG230/240/320/330/340
Valbara kurser vid andra institutioner
• Beräkningssemantik (Computational Semantics), LT2813
• Artificiell intelligens: Kognitiva system (Artificial Intelligence: Cognitive Systems), LT2318
• Topologi (Topology), MMA100
• Diskret matematik (Discrete Mathematics), MMG610
• Algebraiska strukturer (Algebraic Structures), MMG500
• Funktionell programmering (Functional Programming), DIT143
• Typer för program och bevis (Types for Programs and Proofs), DIT235
