DM846: Logik til datalogi (10 ECTS)
STADS: 15016601Niveau
Kandidatkursus forhåndsgodkendt som PhD-kursus
Undervisningsperiode
Kurset er placeret i forårssemesteret.
Ansvarlige undervisere
Email: lcf@imada.sdu.dkSkemaoplysninger
| Hold | Type | Dag | Tidsrum | Lokale | Uger | Kommentar |
|---|---|---|---|---|---|---|
| Fælles | I | Mandag | 08-10 | IMADA semi | 6,8,10,12 | DM846 |
| Fælles | I | Mandag | 12-14 | U150 | 18 | |
| Fælles | I | Tirsdag | 12-14 | U146 | 6 | |
| Fælles | I | Tirsdag | 12-14 | U153 | 7-8 | |
| Fælles | I | Tirsdag | 14-16 | U155 | 16 | |
| Fælles | I | Tirsdag | 14-16 | U143 | 18 | |
| Fælles | I | Tirsdag | 14-16 | U144 | 20 | |
| Fælles | I | Onsdag | 15-17 | U141 | 5 | |
| Fælles | I | Onsdag | 10-12 | U17 | 9 | |
| Fælles | I | Onsdag | 10-12 | U145 | 10,16,20 | |
| Fælles | I | Onsdag | 10-12 | U10 | 11 | |
| Fælles | I | Onsdag | 10-12 | U144 | 12,18 | |
| Fælles | I | Onsdag | 10-12 | U7 | 23 | |
| Fælles | I | Torsdag | 12-14 | IMADA semi | 5-6,8,10,12,14,16,18-20 | |
| H1 | TE | Torsdag | 12-14 | IMADA semi | 7,9,11 | |
| H1 | TE | Torsdag | 12-14 | U146 | 13 | |
| H1 | TE | Fredag | 08-10 | U57 | 5 |
Vis personligt skema for dette kursus.
Kommentar:
Ubegrænset deltagerantal
Indgangskrav:
Ingen
Faglige forudsætninger:
Den studerende forventes at have opnået en grundlæggende forståelse af matematiske beviser og at være bekendt med det grundlæggende i udsagnslogik og prædikat kalkyle, opnåelige fx ved at have fulgt DM535 Diskrete metoder til datalogi eller MM537 Introduktion til matematiske metoder.
Kursusintroduktion
Formålet med kurset er at give de studerende en baggrund i logik, som fokuserer på forskellige aspekter, der er mest relevante for datalogi.
Kompetencer
Ved kursets afslutning forventes den studerende at have de følgende kompetencer:
- have opnået en forståelse for de teoretiske begreber soundness, completeness og decidability
- kunne bevise soundness af en bestemt logik
- vælge logiske rammer bedst egnet til en bestemt datalogisk anvendelse
- være i stand til at bruge de eksisterende værktøjer til ræsonnement inden for en bestemt logik
Emneoversigt
deduktive systemer til udsagnslogik, prædikatslogik og delgrupper heraf, kombinatorisk logik og typeteori, Curry-Howard isomorfi, modal og temporal logik, formel specifikation og validering, pi-kalkyle, redskaber til logisk ræsonnement.
Litteratur
- Meddeles ved kursets start.
Kursets hjemmeside
Dette kursus benytter e-learn (blackboard).
Forudsætningsprøver
Ingen
Eksamen- og censurform:
- Obligatoriske opgaver, bedømmes bestået/ikke-bestået ved intern censur (3 ECTS). (15016612)
- Projekt efterfulgt af mundtlig eksamen.Den studerende udfører et projekt og afleverer en rapport. Evalueringen sker baseret på rapporten og en mundtlig eksamen, hvor projektet præsenteres og underviseren spørger ind til både projektet og til andre emner behandlet i kurset. Bedømmes efter 7-trinsskalaen med ekstern censur (7 ECTS). (15016602)
På naturvidenskab er undervisningen tilrettelagt efter trefasemodellen dvs. intro, trænings- og studiefasen.
Introfase: 42 timer
Træningsfase: 20 timer, heraf:
- Eksaminatorie: 20 timer
Aktiviteter i studiefasen
Sprog
Dette kursus undervises på dansk eller engelsk, afhængigt af underviseren. Dog altid på Engelsk ved deltagelse af internationale studerende.
Kursustilmelding
Se tilmeldingsfrister.
Pris for åben uddannelse
Se priser for enkeltkurser.
Denne kursusbeskrivelse var gyldig fra 1. februar 2015 til 31. januar 2019.
