Kurskod | I000302 |
---|---|
Studiepoäng | 7 |
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 samt godkända inlämningsuppgifter. |
Material | Hansen, K. B. (2003). Grundläggande logik. 4. uppl. Lund: Studentlitteratur. 600 s Undervisningsmaterial (högskolan tillhandahåller) Webbaserat material |
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 04 juli 2025 kl 03:58