Matematisk logik för datavetenskap

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)

Behörighet

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.

Rekommenderade förkunskaper: uh

Alla tillfällen (1)

Liknande utbildningar

• Grundläggande logik och modellteoriUniversitet/högskola
• DV4: Datavetenskaplig logikUniversitet/högskola
• Logik och formella metoderUniversitet/högskola
• LogikUniversitet/högskola