DAT060 · Chalmers tekniska högskola
Logik för datavetenskap
Ny kurs
Inga tentor än
Ladda upp dina tidigare tentor och få hjälp med att strukturera ditt studiematerial
Få dina tentauppgifter kategoriseradeBli guidad genom ditt studiematerialFå hjälp direkt med teori och tipsHåll koll på dina framsteg
Kurs info
HP
7.5
Språk
Engelska
Institution
Data- och informationsteknik
Lärandemål
Efter godkänd kurs ska studenten kunna:
- Kunskap och förståelse:
- förklara när en given formel är en tautologi
- förklara begreppet modell för ett första ordningens språk och av temporallogik
- förklara när en första ordningens och en temporallogiks formel är semantiskt giltigt
- förklara hur man kontrollerar om en branching-time temporallogik temporär logisk formel är giltig i en given modell
- förklara betydelsen av sundhet och fullständighet teoremen för sats- och predikatkalky
- F
- ä
- r
- d
- i
- g
- h
- e
- t
- o
- c
- f
- ö
- m
- å
- a
- :
- skriva och kontrollera härledningar i naturlig deduktion för sats- och predikatkalkyl
- specificera egenskaper hos ett reaktivt system med hjälp av linjär temporallogik och branching-time temporallogik
- V
- n
- s
- l
- bedöma relevansen av logisk resonemang inom datavetenskap, dvs för modellering av datorsystem
- analysera användbarheten av logiska verktyg för att lösa problem inom datavetenskap, dvs. hitta buggar med användning av modellkontroll (model checking)
Kursinnehåll
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).
Förutsättningar
- Grundläggande behörighet för avancerad nivå
Litteratur
Huth, Ryan. Logic in Computer Science, se
http://www.cs.bham.ac.uk/research/lics/
Liknande kurser vid andra universitet
Gör som 15 000+ studenter och ta kontroll över ditt tentaplugg.
Kom igång gratis