| TDDB83 |
Logik, 3,5 p
/Logic/ |
||
|
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. |
|||
| Organisation: Föreläsningar med praktisk uppgiftslösning vid klassvisa lektioner. |
|||
| 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: Fastställs senare |
|||
| Examination: | |||
| TEN1 |
En skriftlig tentamen |
3,5 p |
|
Undervisningsspråk är Svenska.
Institution: IDA.
Studierektor:
Examinator: Ulf Nilssom
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 2003.
 |
||||||
| ||||||