Grundläggande logik och modellteori

Antagningspoäng hösten 2026

Eget urval. Den här utbildningen antar inte på meritvärde eller högskoleprov, så det finns ingen poänggräns.

Lägsta antagna i senaste antagningen (hösten 2026) enligt UHR. Ingen garanti för nästa antagning.

Om utbildningen

Kursen är uppdelad i två moduler: - Modul 1, teori, 4.5 högskolepoäng - Modul 2, färdighetsträning, 3 högskolepoäng Kursen tar upp satslogik, predikatlogik och modellteori. Under kursen behandlas begrepp som syntax, semantik, bevis, sundhet och fullständighet, likhet, Horn-formler, unifiering och resolution. Det krävs förtrogenhet med formella logiska system för att förstå grundläggande begrepp inom många datavetenskapliga områden såsom databaser, vetenskapliga beräkningar och maskininlärning. Modul 1 skapar den här förtrogenheten genom att förmedla logikens begrepp och tekniker ur en datavetenskaplig synvinkel. Särskild vikt läggs på (i) skillnaden mellan logiskt sanna påståenden och bevis, dvs. definitionen av begreppet logisk sanning å ena sidan och utvecklandet av formella system för att härleda sanningsvärdet av ett påstående å andra sidan, (ii) algoritmiska aspekter på bevissystem med tonvikt på resolution och (iii)  modeller för logiska system och hur dessa används för att verifiera egenskaper. Modul 2 ger färdighetsträning inom logik genom ett antal obligatoriska uppgifter. Modulen illustrerar teori från modul 1, exempelvis genom uppgifter i logikprogrammering och ger studenten möjligheten att använda definitioner, notationer och formella system i praktiken.

Behörighet

Univ:För tillträde till kursen krävs 7.5hp inom diskret matematik (tex Introduktion till diskret matematik, 5MA143) och en grundläggande kurs i programmeringsmetodik om minst 7.5hp (tex 5DV157, 5DV158, 5DV176 eller 5DV177) eller motsvarande kunskaper.

Praktiskt

Start

31 augusti 2026

Slut

1 november 2026

Språk

Engelska

Studietakt

50 %

Studieform

På plats i Umeå

Studieavgift

19 038 kr (gäller bara sökande utanför EU/EES)

Anmälningskod

UMU-5700F

Vanliga frågor

Vad krävs för att komma in på Grundläggande logik och modellteori vid Umeå universitet?

Utbildningen har ingen poänggräns (eget urval) – den antar inte på meritvärde eller högskoleprov. Du måste också uppfylla behörighetskraven.

Hur lång är utbildningen?

7,5 hp, studietakt 50 %.

Går den på distans?

Nej, den ges på plats i Umeå.

Vad betyder BI och HP?

BI är betyg utan komplettering och HP är högskoleprovet. Läs guiden.

Överblick

• Alla program och kurser vid Umeå universitet
• Alla kurser i Informatik/Data- och systemvetenskap