| TDDB83 |
Logik, 3,5 p
/Logic/ |
||
Prel. schemalagd
tid: 48 |
|||
|
Utbildningsområde: Naturvetenskap Ämnesgrupp: Matematik Nivå (A-D):B |
|||
| Datavetenskap Datavetenskap, datalogi, matematik, diskret matematik |
|||
|
Mål:
Kursen har två målsättningar: Dels att ge kunskap om logikens grundläggande begrepp; såväl de formella definitionerna som intuitionerna bakom dem. Dels att ge färdighet i konsten att konstruera och formulera bevis, såväl i strikt formella bevissystem som i den mer informella stil som vanligen brukas inom matematik och teoretisk datalogi. Därutöver syftar kursen även till att ge en översikt av logikens användningsområden inom datavetenskap samt logikens begränsningar. |
|||
| Förkunskaper: (gäller studerande antagna till program som kursen ges inom, se 'För:' ovan) Gymnasiets matematik (kurs A-E eller motsvarande) väl inhämtad. 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 TDDB08 Logik, fördjupningskurs |
|||
| Organisation: Föreläsningar med praktisk uppgiftslösning vid klassvisa lektioner. (Observera att kursen ges en gång på våren för D1, Mat3 och Y4 samt en gång på hösten för C1. De två kursomgångarna har olika examinatorer och olika kurslitteratur, men tentamina är desamma för båda omgångarna.) |
|||
| Kursinnehåll: Formell syntax och semantik för sats- och predikatlogik. Konsistens, konsekvens och ekvivalens, samt bevis/motbevis av dessa egenskaper. Härledning i formella bevissystem, framför allt Naturlig deduktion, samt begreppen sundhet och fullständighet. |
|||
| Kurslitteratur: U. Nilsson. En introduktion till logik (kompendium), eller P. Haslum. Formell Logik (kompendium). |
|||
| Examination: | |||
| TEN1 |
En skriftlig tentamen (U,3,4,5) |
3,5 p |
|
Undervisningsspråk är Svenska.
Institution: IDA.
Studierektor: Peter Dalenius
Examinator: Patrik Haslum
Länk till kurshemsida på kursgivande institution
Ansvarig utbildningsnämnd: UND
Engelsk kursplan
Om inget annat anges ovan gäller betygsskala enligt avsnitt a8.5 i de gemensamma bestämmelserna.
Kursplanen gäller för 2004.
 |
||||||
| ||||||