Grundläggande logik och modellteori

Lärandemål

Efter avslutad kurs ska studenten kunna: Kunskap och förståelse

• förklara skillnaden och samspelet mellan syntax och semantik (FSR 1)
• förklara grundläggande begrepp, definitioner och notationer inom satslogik, predikatlogik och modellteori (FSR 2)
• visa en grundläggande förståelse för satslogiska bevissystem (FSR 3)
• redogöra för begreppen sundhet och fullständighet inom bevissystem (FSR 4)
• definiera och använda sig av Hornklausuler (FSR 5)
• uppvisa goda kunskaper och praktiska förmågor kring resolution, inbegripande att kunna omvandla formler till CNF, redogöra för resolutionsregeln, utföra substitution och unifiering, beräkna mest generella unifieraren samt utföra resolutionsbevis (FSR 6)
• diskutera satisfierbarhet, sundhet och fullständighet för resolution både inom satslogik och predikatlogik (FSR 7)
• definiera vad som menas med en modell för de olika logiska system som behandlats i kursen (FSR 8)
• Färdighet och förmåga
• Analysera och jämföra uttrycksfullheten i de olika logiska systemen som behandlas under kursen (FSR 9)
• visa en grundläggande förståelse för hur modeller kan användas inom olika typer av verifikation (FSR 10)
• använda sig av grundläggande begrepp, definitioner och notationer inom satslogik, predikatlogik och modellteori (FSR 11)
• praktiskt använda sig av bevisregler och axiom (FSR 12)