Innføring i logikk

Masteremne

Studiepoeng: 10
Undervisningssemester
Emnekode: INF227
Talet på semester: 1
Undervisningsspråk: Norsk. Engelsk om engelskspråklege deltek
Ressursar: Timeplan

Vel emnebeskrivelse for semester

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.

Ferdigheiter
Studenten

kan gje korrekte logiske argument
kan finne feil i ukorrekte argument

Generell kompetanse
Studenten

kan diskutere logiske argument og deira gyldigheit med andre
kan kommunisere dei grunnleggjande konsepta frå logikk og deira relevans med hensyn til informatikk

Fulltid/deltid

Studiepoeng, omfang

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

https://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.