Informationsteknik – Logik

Efter avslutad kurs skall den studerande behärska användningen av satslogiken och predikatlogiken från ett data- och systemvetenskapligt perspektiv.

För att uppfylla målet skall den studerande behärska
– satslogiska konnektiv
– formulering av satslogiska satser
– sanning och konsekvens
– konstruktion av sanningstabeller
– predikatlogiska kvantifikatorer
– predikat och identitet
– formulering av predikatlogiska satser
– formulering av predikatlogiska satser för egenskaper hos dataprogram
– härledningsreglerna i naturlig deduktion
– tekniken för formella härledningar i predikatlogik

Satslogikens språk
Satslogikens semantik
Slutsatsdragning inom satslogiken
Predikatlogikens språk
Predikatlogikens semantik
Formell härledning
Naturlig deduktion
Metaspråk
Logikens användning inom data- och systemvetenskapen
Logik som specifikationsspråk
Logisk härledning inom formell programutveckling
Automatiserad bevisföring

Obligatorisk närvaro vid presentation och genomgång av inlämningsuppgifterna.

VG, G (för betygssättning)

Informationsteknik

Utbildningsprogrammet för informationsteknik

Skriftlig tentamen samt godkända inlämningsuppgifter.

Hansen, K. B. (2003). Grundläggande logik. 4. uppl. Lund: Studentlitteratur. 600 s

Undervisningsmaterial (högskolan tillhandahåller)

Webbaserat material

Godkänt vitsord noteras i studiekort. U, G eller VG (Vid validering används vitsordet Godkänd).

Föreläsningar, lektioner, inlämningsuppgifter