| TDDD72 |
Logik, 6 hp
/Logic/
För:
Mat
U
|
| |
Prel. schemalagd
tid: 40
Rek. självstudietid: 120
|
| |
Utbildningsområde: Naturvetenskap
Huvudområde: Datavetenskap, Matematik Nivå (G1,G2,A): G1
|
| |
Mål:
IUAE-matris
Kursens syfte är att studenterna ska skaffa sig en förståelse för logikens grundläggande begrepp och tillämpningar inom datavetenskap. Efter avslutad kurs ska studenten kunna:
- redogöra för grundläggande begrepp inom logik (ex. tolkning, modell, satisfierbarhet)
- formulera satser i första ordningens logik
- visa olika relationer som kan gälla mellan formler eller mängder av formler (ex. ekvivalens, konsekvens)
- bevisa logiska satser med hjälp av tablåer och/eller resolution
|
| |
Förkunskaper: (gäller studerande antagna till program som kursen ges inom, se 'För:' ovan)
Grundläggande diskret matematik
OBS! Tillträdeskrav för icke programstudenter omfattar vanligen också tillträdeskrav för programmet och ev. tröskelkrav för progression inom programmet, eller motsvarande.
|
| |
Påbyggnadskurser
Logikprogrammering
|
| |
Organisation:
De teoretiska grunderna gås igenom på föreläsningar och övas på lektioner.
|
| |
Kursinnehåll:
Formell syntax och semantik för propositions- och predikatlogik. Koncept som konsistens, konsekvens och ekvivalens, samt bevis och refutationer av dessa egenskaper. Resonemang med formella bevissystem, särskilt tablåer och resolution. Sundhet och fullständighet.
|
| |
Kurslitteratur:
Ben-Ari, Mordechai (2001) Mathematical Logic for Computer Science. ISBN 1-85233-319-7.
|
| |
Examination: |
TEN1
|
En skriftlig tentamen (U,3,4,5)
|
6 hp
|
| |
|
|