DV4: Datavetenskaplig logik 7,5 hp
Om kursen
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).
Denna kurs är en del av ett program
Den här kursen innehåller tillfällen som är en del av ett program på Umeå universitet. Du kan bara söka kursen om du går programmet. Information om ansökningstider och vad som gäller för dig får du från din institution.
Anmäl dig
-
HT2025
-
DV4: Datavetenskaplig logik
Kurstillfälle som ingår i ett program
HT2025 / Umeå / Svenska / På plats
Visa mer Visa mindre
Startar3 november 2025
Slutar18 januari 2026
Omfattning7,5 hp
UndervisningPå plats
Studietakt50%
UndervisningstidDagtid
StudieortUmeå
UndervisningsspråkSvenska
AnmälningskodUMU-57210
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.UrvalPlatsgaranti, ges inom TGDAV
StudieavgiftGäller endast medborgare utanför EU, ESS och Schweiz. Anmälningsavgift: 900 kr. Studieavgift, första inbetalningen: 19 038 kr. Total studieavgift: 19 038 kr. Anmälnings- och studieavgifter
AnmälanSista anmälningsdag var den 15 april 2025. Du kan inte längre anmäla dig.
-
Så anmäler du dig
Anmäl dig via antagning.se
Du anmäler dig till våra program och kurser på antagning.se. Där kan du sedan följa din anmälan och kontrollera att dina meriter registrerats. Det är även där du loggar in för att svara på ditt antagningsbesked.
Sen anmälan
Efter sista anmälningsdag stänger anmälan till alla utbildningar. De kurser och program som har platser kvar kan vara öppna för sen anmälan. Dessa utbildningar är då märkta ”Öppen för sen anmälan” på antagning.se.
Mer om anmälan och antagning
Lär känna Umeå universitet
Här finns utbildningar av hög kvalitet och forskning inom alla vetenskapsområden och det konstnärliga området. Gemensamt för alla våra utbildningar är hög kompetens bland lärarna och ett tätt samspel mellan forskning, utbildning, samverkan och innovation.
-
Flest pedagogiskt meriterade lärare i Sverige
Priset går till lärare som verkligen engagerar sig, använder uppskattade metoder eller inspirerar.
-
Ett universitet där hälsa får ta plats
Umeå universitet är certifierat som ett Healthy Campus med många initiativ och aktiviteter som främjar hälsa.
Frågor om utbildningen?
Annat bra att veta
Bygg din egen utbildning
Med fristående kurser kan du designa din egen unika utbildning.
Skillnad mellan gymnasiet och universitetet
Du har större frihet och ansvar om när, var och hur du vill studera.
Så anmäler du dig
Har du hittat en eller flera utbildningar som du gillar och har behörighet till – sök!