studiehandbok@lith
 

Tekniska högskolan vid Linköpings universitet

 
 
År : 2017
 
TDDD72 Logik, 6 hp
/Logic/

För:   Mat   U  

 

Prel. schemalagd tid: 40
Rek. självstudietid: 120

  Utbildningsområde: Naturvetenskap

Huvudområde: Datavetenskap, Matematik   Nivå (G1,G2,A): G1

  Mål:  IUAE-matris
Kursens syfte är att studenterna ska skaffa sig en förståelse för logikens grundläggande begrepp och tillämpningar inom datavetenskap. Efter avslutad kurs ska studenten kunna:
  • redogöra för grundläggande begrepp inom logik (ex. tolkning, modell, satisfierbarhet)
  • formulera satser i första ordningens logik
  • visa olika relationer som kan gälla mellan formler eller mängder av formler (ex. ekvivalens, konsekvens)
  • bevisa logiska satser med hjälp av tablåer och/eller resolution


  Förkunskaper: (gäller studerande antagna till program som kursen ges inom, se 'För:' ovan)
Grundläggande diskret matematik

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
Logikprogrammering

  Organisation:
De teoretiska grunderna gås igenom på föreläsningar och övas på lektioner.

  Kursinnehåll:
Formell syntax och semantik för propositions- och predikatlogik. Koncept som konsistens, konsekvens och ekvivalens, samt bevis och refutationer av dessa egenskaper. Resonemang med formella bevissystem, särskilt tablåer och resolution. Sundhet och fullständighet.

  Kurslitteratur:
Ben-Ari, Mordechai (2001) Mathematical Logic for Computer Science. ISBN 1-85233-319-7.

  Examination:
TEN1
En skriftlig tentamen (U,3,4,5)
6 hp
 



Undervisningsspråk är Svenska.
Institution: IDA.
Studierektor: Peter Dalenius
Examinator: Andrzej Szalas
Ansvarig programnämnd: Data&Medie

Engelsk kursplan


Tekniska högskolan vid Linköpings universitet


Informationsansvarig: TFK , val@tfk.liu.se
Senast ändrad: 11/10/2016