Kurskod | I000303 |
---|---|
Studiepoäng | 5 |
Mål | 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 |
Innehåll | Satslogikens språk |
Deltagande | Obligatorisk närvaro vid presentation och genomgång av inlämningsuppgifterna. |
Betygsskalans namn | VG, G (för betygssättning) |
Yrkesutbildning | Informationsteknik |
Examensprogram | Utbildningsprogrammet för informationsteknik |
Beskrivande bedömning | Skriftlig tentamen |
Material | Hansen, K. B. (2003). Grundläggande logik. 4. uppl. Lund: Studentlitteratur. 600 s Undervisningsmaterial (högskolan tillhandahåller) Webbaserat material |
Nödvändig förutsättning | Matematik |
Dokumentation | Godkänt vitsord noteras i studiekort. U, G eller VG (Vid validering används vitsordet Godkänd). |
Lärandemetoder | Föreläsningar, lektioner, inlämningsuppgifter |
Utskriven 02 juli 2025 kl 05:06