91̽»¨

³¢Ã¤²Ô°ì²õ³Ù¾±²µ

Matematisk logik för datavetenskap

Kurs
DIT203
Avancerad nivå
7,5 högskolepoäng (hp)
Studietakt
50%
Undervisningstid
Dag
Studieort
³Òö³Ù±ð²ú´Ç°ù²µ
Undervisningsform
Campus
±«²Ô»å±ð°ù±¹¾±²õ²Ô¾±²Ô²µ²õ²õ±è°ùÃ¥°ì
Engelska
Start/slut
-
´¡²Ô²õö°ì²Ô¾±²Ô²µ²õ±è±ð°ù¾±´Ç»å
-
´¡²Ô³¾Ã¤±ô²Ô¾±²Ô²µ²õ°ì´Ç»å
GU-86032
°­³Ü°ù²õ¾±²Ô²Ô±ð³óÃ¥±ô±ô
Ansökan stängd. Sen anmälan öppnar 15 juli 2025.

Om utbildningen

Kraftfulla verktyg för verifikation av programvaru- och hårdvarusystem utvecklats. Dessa verktyg förlitar sig på ett avgörande sätt i logiska tekniker. Kursen ger en sund grund i logik och en kort introduktion till några logiska ramverk som används för att modellera, specificera och verifiera datorsystem. Grundläggande kunskaper i logik är en god grund för kurser i programverifiering, formella metoder och artificiell intelligens.

Kursen täcker sats- och predikatkalkyl och modellkontrol (model checking). Mer konkret ger kursen en grundlig introduktion till grundläggande begrep inom logik såsom naturlig deduktion, semantik för både sats- och predikatkalkyl, sundhet och fullständighet, konjunktiva normalformer, Hornklausuler, oavgörbart och uttrycksfullhet av predikatlogik, plus en introduktion till modellkontroll (model checking): linjär temporallogik (LTL) och branching-tid temporallogik (CTL).

µþ±ð³óö°ù¾±²µ³ó±ð³Ùer och urval

µþ±ð³óö°ù¾±²µ³ó±ð³Ù

För att vara behörig till kursen ska studenten ha avklarat kurser för 105 hp inom datavetenskap eller matematik, inklusive 7,5 hp i diskret matematik (till exempel DIT980 Diskret matematik för datavetare, Inledande algrebra delen av MMG200 Matematik 1, eller motsvarande).



Följande kunskapsnivå i Engelska krävs; Engelska 6/Engelska B eller motsvarande från ett erkänt internationellt test, t.ex. TOELF, IELTS.

Urval

HT21 Högskolepoäng, max 285 hp.