Göteborgs universitet
  2. Studera
  3. Hitta utbildning
  4. Fördjupning i bevisteori

Fördjupning i bevisteori

Kurs
LOG365
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-24168
Ansökan stängd. Sen anmälan öppnar 15 juli 2026.

Om utbildningen

Behörigheter och urval

Behörighet

För tillträde till kursen krävs godkänt resultat på Bevisteori (LOG221) eller motsvarande. Dessutom krävs språkkunskaper motsvarande Engelska 6.

Urval

Högskolepoäng, max 165 hp

Liknande utbildningar

Lambdakalkyl, typteori och programmeringsspråkens grundvalar
Logik, spel och automata
Modallogik
Logik och fullständighet
Modeller för beräkningsbarhet
Modellteori
Mängdteori
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