Informationssystem A: Logik
Kursplan, Grundnivå, 2IS013
- Kod
- 2IS013
- Utbildningsnivå
- Grundnivå
- Huvudområde(n) med fördjupning
- Informationssystem G1N, Matematik G1N
- Betygsskala
- Underkänd (U), godkänd (G), väl godkänd (VG)
- Fastställd av
- Institutionsstyrelsen, 14 oktober 2010
- Ansvarig institution
- Institutionen för informatik och media
Behörighetskrav
Grundläggande behörighet och Engelska 6, Matematik 3b/3c, Samhällskunskap 1b/1a1+1a2 eller Engelska B, Matematik C, Samhällskunskap A (områdesbehörighet A4/4)
Mål
Efter genomgången kurs ska studenten kunna grundläggande begrepp inom den formella logiken, särskilt de som är viktiga för förståelsen av strukturen hos konstruerade språk och formella system i allmänhet. Tillämpa logikens metoder vid problemlösning.
Innehåll
Satslogik
satslogikens språk
formalisering
tautologibegreppet
satslogik
konsekvens
naturlig deduktion
Predikatlogik
predikatlogikens språk
formalisering
rudimentär mängdteori
modeller
logisk sanning och konsekvens
naturlig deduktion
sambandet mellan logisk konsekvens och deduktion.
Undervisning
Föreläsningar och lektioner med räkneövningar
Examination
Tentamen och inlämningsuppgifter. Som betyg på kursen används något av uttrycken väl godkänd, godkänd eller underkänd.