DM846: Logik til datalogi
Kommentar
Indgangskrav
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.
Formål
Formålet med kurset er at give de studerende en baggrund i logik, som fokuserer på forskellige aspekter, der er mest relevante for datalogi.
Målbeskrivelse
Ved kursets afslutning forventes den studerende at have 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
Indhold
- 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
Eksamensbestemmelser
Eksamenselement b)
Tidsmæssig placering
Udprøvninger
Mundtlig eksamen
EKA
Censur
Bedømmelse
Identifikation
Sprog
Hjælpemidler
ECTS-point
Uddybende information
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.
Eksamensformen ved reeksamen kan være en anden end eksamensformen ved den ordinære eksamen.
Eksamenselement a)
Tidsmæssig placering
Udprøvninger
Opligatoriske opgaver
EKA
Censur
Bedømmelse
Identifikation
Sprog
Hjælpemidler
ECTS-point
Uddybende information
Vejledende antal undervisningstimer
Undervisningsform
På naturvidenskab er undervisningen tilrettelagt efter trefasemodellen dvs. intro, trænings- og studiefasen.
Introfase: 42 timer
Træningsfase: 20 timer, heraf:
- Eksaminatorie: 20 timer