Grundläggande logik och modellteori 7,5 hp

Om kursen

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.

Visa kursplan

Anmäl dig

HT2025
- Grundläggande logik och modellteori
  
  HT2025 / Umeå / Engelska / På plats
  
  Visa mer Visa mindre
  
  Startar
  1 september 2025
  
  Slutar
  2 november 2025
  
  Omfattning
  7,5 hp
  
  Undervisning
  På plats
  
  Studietakt
  50%
  
  Undervisningstid
  Dagtid
  
  Studieort
  Umeå
  
  Undervisningsspråk
  Engelska
  
  Anmälningskod
  UMU-57205
  
  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.
  
  Urval
  Högskolepoäng avklarade per sista anmälningsdag (för utbildning på grundnivå 1-165 hp, för avancerad nivå 30-285 hp)
  
  Studieavgift
  Gä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älan
  Sista anmälningsdag var den 15 april 2025. Du kan inte längre anmäla 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?

Kontakta oss

Rubrik

Beskriv ditt ärende eller ställ en fråga

Förnamn

Efternamn

E-postadress

Tänk på att universitetet är en statlig myndighet och att det du skriver här kan bli en allmän handling. Var därför försiktig med att skriva känsliga eller personliga frågor här i kontaktformuläret. Alla uppgifter behandlas enligt dataskyddsförordningen (GDPR).