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 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)
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.
Studieavgift
Gäller endast medborgare utanför EU, ESS och Schweiz.
Anmälningsavgift: 900 kr.
Studieavgift, första inbetalningen: 17 850 kr.
Total studieavgift: 17 850 kr.
Anmälnings- och studieavgifter
Anmälningskod
UMU-57205
Anmälan
Sista anmälningsdag var den
19 april 2022.
Du kan göra en sen anmälan
via Antagning.se.
