På den här webbplatsen använder vi kakor (cookies) för att den ska fungera på ett bra sätt för dig. Genom att surfa vidare godkänner du att vi använder kakor.
Läs mer om kakor
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 artificiell intelligens, databassystem och beräkningsteori. Under kursen skapas den här förtrogenheten genom att förmedla sats- och predikatlogikens begrepp och tekniker ur en datavetenskaplig synvinkel. Även temporal logik behandlas i samband med att modellteori diskuteras.
Särskild vikt läggs på * skillnaden mellan sanning och bevis, dvs. definitionen av begreppet sanning å ena sidan och utvecklandet av formella system för att härleda sanningsvärdet av ett påstående å andra sidan
* algoritmiska aspekter på bevissystem med tonvikt på resolution
* modeller för logiska system och hur dessa används för att verifiera egenskaper.
Univ:För tillträde till kursen krävs, Introduktion till diskret matematik (5MA008) och en grundläggande kurs i programmeringsmetodik (tex 5DV104, 5DV105, 5DV106 eller 5DV114) eller motsvarande kunskaper.
Dessutom är det en stark rekommendation att ha läst ytterligare minst en kurs i matematik och/eller kursen Datavetenskapens grunder (5DV037).
Urval
Högskolepoäng avklarade per sista anmälningsdag (för utbildning på grundnivå 1-165 hp, för avancerad nivå 30-285 hp)
Sökande inom vissa program vid Umeå universitet har platsgaranti till denna kurs. Antalet platser för fristående kurs kan därför bli begränsat.
Anmälningskod
UMU-57241
Anmälan
Sista anmälningsdag var den
18 april 2017.
Du kan göra en sen anmälan
via Antagning.se.
