DV4: Datavetenskaplig logik

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

Logik i olika former genomsyrar hela datavetenskapen. Den används för att strukturera och söka i databaser, klassificera beräkningsproblem, verifiera att hård- och mjukvarusystem är korrekta och strukturera kunskap i intelligenta system, bara för att nämna några tillämpningar. Denna kurs syftar till att förmedla grunderna inom några av de logiska formalismer som används mest inom datavetenskapen, samt till att illustrera deras användningsområden. Kursen tar upp syntax och semantik för satslogik, första ordningens logik samt temproallogik. Inom satslogiken behandlas även bevisregler och konjunktiv normalform. Kursen behandlar också logikens roll inom ett antal datavetenskapliga områden och exemplifierar aktuell forskning inom området. Kursen är uppdelad i två moduler. Modul 1: Teori (6,5 hp) och Modul 2: Litteraturstudie (1,0 hp).

Behörighet

För tillträde till kursen krävs kursen DV3: Beräkningar och språk och Introduktion till diskret matematik eller motsvarande kunskaper.

Praktiskt

Start

2 november 2026

Slut

17 januari 2027

Språk

Svenska

Studietakt

50 %

Studieform

På plats i Umeå

Studieavgift

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

Anmälningskod

UMU-5700X

Vanliga frågor

Vad krävs för att komma in på DV4: Datavetenskaplig logik 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 Datateknik