Frühling
2026
MIK-1008 Logikk og argumentasjon - 2.5 stp
Course content
Dette emnet gir en introduksjon til grunnleggende symbolsk logikk og mengdeteori, med fokus på å forstå og anvende logikkens språk i både teoretiske og praktiske sammenhenger. Studentene lærer å bruke symbolsk notasjon for å analysere og evaluere argumenter, samtidig som de utvikler evnen til å skille mellom gyldig og ugyldig resonnering i hverdagslige og matematiske situasjoner. Kurset gir også en innføring i mengdelære, en sentral del av matematisk logikk, og utforsker dens anvendelser i strukturert og presis argumentasjon.Objective of the course
Kunnskap:
Kandidaten har kunnskap om:
• definisjon av utsagn, atomære og sammensatte utsagn
• hva nødvendige og tilstrekkelige betingelser er
• semantikk for utsagnslogikk, sannhetsverditabeller
• hva som gjør argumenter gyldige, oppfyllbar og falsifiserbar
• definisjon og konstruksjon av mengder
• operasjonene snitt, union og differanse
Ferdigheter:
Kandidaten kan:
• gjøre om (presist) hverdagsspråk til utsagnslogiske formler og omvendt
• sette opp sannhetsverditabeller for logiske utsagn gitt ved formler
• avgjøre om en utsagnslogisk formel er en tautologi, eventuelt en kontradiksjon.
• bruke teknikker for visualisering av mengder
• løse oppgaver som involverer snitt, union og differanse av mengder
Generell kompetanse:
Kandidaten har:
• en overordnet forståelse av hva som er gyldig argumentasjon, og evne til å bruke
denne
• evne til å avsløre ugyldig argumentasjon innen studier og fag
• evne til å lage sammensatte planer for løsning av problemer av logisk natur
Teaching methods
Emnet er asynkront: Siden emnet er bygd opp av ferdiginnspilte videoer, er undervisninga ikke knyttet til spesifikke tidspunkter. Emnet kan dermed tas på hvilket som helst tidspunkt i semestrene. Gis både høst og vår.
Videoforelesninger knyttet til hver fagmodul i kurset. Selvstendig arbeid og arbeidskrav knytet til fagmoduler.
• Videoforelesninger / moduler i canvas: ca 12 timer
• Egenstudium: ca 50 timer
Schedule
Eksamen
Vurderingsform: | Karakterskala: |
---|---|
Flervalgseksamen | Bestått – Ikke bestått |
- Contact persons
-
-
- Earlier years and semesters for this topic