| TDDB83 |
Logik, 3,5 p
/Logic/ |
||
OBS! |
Kursen har utgått för C och ersätts av TDDC36 |
||
Prel. schemalagd
tid: 44 |
|||
|
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. |
|||
| 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 2006 enligt beslut av ansvarig utbildningsnämnd.
 |
||||||
| ||||||