Innføring i logikk
Masteremne
- Studiepoeng
- 10
- Undervisningssemester Vår
- Emnekode
- INF227
- Talet på semester
- 1
- Undervisningsspråk
- Norsk. Engelsk om engelskspråklege deltek
- Ressursar
- Timeplan
- Litteraturliste
Emnebeskrivelse
Mål og innhold
Emnet tar sikte på å gi studentane ei forståing av grunnleggjande omgrep og teknikkar frå formell-logikk som vert nytta innan ymse greinar av informatikk. Forståing av grunnleggjande omgrep frå logikk er nyttig for alle informatikkstudentar. Særleg gir emnet det naudsynte grunnlaget for vidare studium innan teoretisk databehandling.
Læringsutbytte
Studenten skal ved avslutta emne ha følgjande læringsutbytte definert i kunnskapar, ferdigheiter og generell kompetanse:
Kunnskap
Studenten
- v dei grunnleggjande konsepta frå matematisk logikk, sånn som:
- Formell resonnement
- Formell semantikk
- avgjerlegheit (en. decidability)
- Forholdet mellom desse: sunnheit, komplettheit, kompaktheit.
- kan gje korrekte logiske argument
- kan finne feil i ukorrekte argument
- kan diskutere logiske argument og deira gyldigheit med andre
- kan kommunisere dei grunnleggjande konsepta frå logikk og deira relevans med hensyn til informatikk
Ferdigheiter
Studenten
Generell kompetanse
Studenten
Fulltid/deltid
Studiepoeng, omfang
10
Studienivå (studiesyklus)
Bachelor/master/ph.d.
Undervisningssemester
Vår
Undervisningssted
Bergen
Krav til forkunnskaper
Ingen
Anbefalte forkunnskaper
Litt erfaring med matematikk er ein fordel.
Studiepoengsreduksjon
I127: 10 SP
Krav til studierett
For oppstart på emnet er det krav om ein studierett knytt til Fakultet for naturvitskap og teknologi
www.uib.no/nt/52646/studere-ved-fakultet-naturvitenskap-og-teknologi
Arbeids- og undervisningsformer
Undervisninga gjevast i form av førelesingar og gruppeøvingar.
Førelesing 4 timar pr. veke
Øvingar 2 timar pr. veke
Obligatorisk undervisningsaktivitet
Godkjende obligatoriske oppgåver.
Obligatoriske aktiviteter er gyldige i to semester, det semesteret aktiviteten godkjennes samt det påfølgjande semesteret.
Vurderingsformer
3 timar skriftleg eksamen. Eksamen kan foregå digitalt (på datamaskin). Du finn meir informasjon på: www.uib.no/digitaleksamen.
Karakterskala
Ved sensur av emnet vert karakterskalaen A-F nytta.
Vurderingssemester
Det er ordinær eksamen kvart semester. I semesteret utan undervisning er eksamen tidleg i semesteret.
Litteraturliste
Litteraturlista vil vere klar innan 01.07. for haustsemesteret og 01.12. for vårsemesteret.
Emneevaluering
Studentane skal evaluere undervisninga i tråd med UiB og instituttet sitt kvalitetssikringssystem.
Hjelpemiddel til eksamen
Ingen
Programansvarlig
Programstyret har ansvar for fagleg innhald og oppbygging av studiet og for kvaliteten på studieprogrammet og alle emna der.
Emneansvarlig
Emneansvarleg og administrativ kontaktperson finn du på Mitt UiB, kontakt eventuelt studieveileder@ii.uib.no
Administrativt ansvarlig
Fakultet for naturvitskap og teknologi ved institutt for informatikk har det administrative ansvaret for emnet og studieprogrammet.