Göteborgs universitet
  2. Studera
  3. Hitta utbildning
  4. Logik, spel och automata

Logik, spel och automata

Kurs
LOG290
Avancerad nivå
7,5 högskolepoäng (hp)
Ges vid Institutionen för filosofi, lingvistik och vetenskapsteori vid Humanistiska fakulteten
Studietakt
50%
Undervisningstid
Dag
Studieort
Göteborg
Undervisningsform
Campus
Undervisningsspråk
Engelska
Start/slut
-
Ansökningsperiod
-
Anmälningskod
GU-24163
Kursinnehåll
Litteraturlista
Ansökan stängd. Sen anmälan öppnar 15 juli 2026.

Om utbildningen

Kursen ges på engelska. Besök vår internationella sida för mer information.

Behörigheter och urval

Behörighet

För tillträde till kursen krävs godkänt resultat på Logisk teori (LOG111) samt godkänt resultat på Modallogik (LOG131), eller motsvarande.

Urval

Högskolepoäng, max 165 hp

Liknande utbildningar

Kategoriteori
Lambdakalkyl, typteori och programmeringsspråkens grundvalar
Modallogik
Bevisteori
Logik och fullständighet
Modeller för beräkningsbarhet
Modellteori
Mängdteori
Fördjupning i bevisteori
Institutionen för filosofi, lingvistik och vetenskapsteori
På institutionen för filosofi, lingvistik och vetenskapsteori, FLoV, arbetar våra forskare i många internationella,…

Studera på Göteborgs universitet

Anmälan och antagning
Meriter, behörighet, urval... Det är enklare än det låter att göra en anmälan till universitetet! Här får du en överblick…
Student i Göteborg
Studentliv i Göteborg, studentboende, CSN och campus – här hittar du allt du behöver veta om hur det är att studera vid…
Studera
Boende och ekonomi
Att studera på universitet innebär ofta att flytta hemifrån och att leva på en studentbudget. Här får du veta mer om hur du…
Studera
Så fungerar universitetet
Att börja studera på universitet kan kännas både spännande och lite ovant. Lär dig hur universitetsstudier fungerar, vilka…
Senast ändrad