Göteborgs universitet
  2. Studera
  3. Hitta utbildning
  4. Lambdakalkyl, typteori och programmeringsspråkens grundvalar

Lambdakalkyl, typteori och programmeringsspråkens grundvalar

Kurs
LOG370
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-24170
Kursinnehåll
Kursplan
Ansök till kursen

Behörigheter och urval

Behörighet

För tillträde till kursen krävs godkänt resultat på Logik och fullständighet (LOG112) eller motsvarande. Dessutom krävs språkkunskaper motsvarande Engelska 6.

Urval

Högskolepoäng, max 165 hp

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