Emnekode: MIK-1008

Logikk og argumentasjon

Søk mellom 20. juli og 9. august
Studiested Nettstudium
Semester / år Høst 2026
Varighet 1 semester
Nivå Grunnleggende emner, nivå I
Studiepoeng 2.5

Om emnet

Emnet kan tas som enkeltemne.

Dette emnet kan tas som et mikroemne

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.

Opptakskrav

Generell studiekompetanse eller realkompetanse.

Søknadskode 9199 - enkeltemne lavere grad.

Hva lærer du

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

Undervisning og pensum

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

Undervisnings- og eksamensspråk

Norsk

Timeplan

Timeplanene ferdigstilles og publiseres normalt i god tid før semesterstart, ofte noen uker i forkant. Dette gir studentene mulighet til å organisere studiene sine og forberede seg på kommende aktiviteter.

Det anbefales å sjekke timeplanen jevnlig, da det kan forekomme endringer.

Eksamen

Eksamener
Flervalgseksamen Innlevering: 15.10.2026 14:00 Utlevering: 15.09.2026 09:00 Karakterregel:
Bestått – Ikke bestått
Flervalgseksamen Innlevering: 15.11.2026 14:00 Utlevering: 16.10.2026 09:00 Karakterregel:
Bestått – Ikke bestått
Flervalgseksamen Innlevering: 15.12.2026 14:00 Utlevering: 16.11.2026 09:00 Karakterregel:
Bestått – Ikke bestått

Alt du trenger å vite om før, under og etter eksamen, oppmelding, fravær klage og vitnemål: UiTs samleside om eksamen

Kontinuasjonseksamen

Det arrangeres ikke kontinuasjonseksamen i emnet.

Andre år og semester

Kontakt oss

Ansvarlig enhet: Institutt for matematikk og statistikk
Author image
Førstelektor
glen.wilson@uit.no
Rådgiver
line.s.karlsholm@uit.no