Matematisk logik för datavetenskap
7.5 hp, Fristående kurs, Göteborgs universitet
Typ av utbildning:
Fristående kurs
Nivå:
Avancerad
Studieform:
Campus
Studietakt:
50%
Utbildningsort:
Göteborg
Undervisningstid:
Dag
Omfattning:
7.5 hp
Undervisningsspråk:
Engelska
Kursen startar:
2025-09-01
Sista dag för anmälan:
2025-04-15
Uppgifter om utbildningen hämtas från SUSA-navet som motsvarar innehållet på antagning.se
Länk till annan webbplats, öppnas i nytt fönster..
Mer 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).Delkurser
1. Skriftlig salstentamen (Written hall examination), 7,5 hp
Betygsskala: Mycket väl godkänd (5), Väl godkänd (4), Godkänd (3) och Underkänd (U)
Mer om kursen
Startperiod
HT-25
Startvecka
Vecka 36 2025
Slutvecka
Vecka 44 2025
Behörighetskrav
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.
Anmälningskod
86032
Kurskod
DIT203
Lärosäte som anordnar kursen
Göteborgs universitets vision Ett universitet för världen uttrycker universitetets strävan att vara ett internationellt lärosäte som tar ansvar för samhällsutvecklingen och bidrar till en hållbar värld. Visionen fastställer också att universitetets verksamhet vilar på de akademiska kärnvärden som formulerats i Universitetens Magna Charta och att dessa hålls levande inom ramen för den statliga värdegrunden.
