Gå till huvudinnehåll

Matematisk logik för datavetenskap

7.5 hp, Fristående kurs, Göteborgs universitet

Utbildningsområde: Teknik för civil och militär beredskap

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)

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.

Läs mer om Göteborgs universitet

Göteborgs universitet