Hjem
Click

Utdanning

Masteremne

Innføring i logikk

  • Studiepoeng10
  • UndervisingssemesterVår
  • EmnekodeINF227
  • Talet på semester1
  • Språk

    Engelsk

  • Ressursar

Undervisningssemester

Vår

Undervisningsstad

Bergen

Mål og innhald

Emnet gir ei innføring i elementære omgrep innan utsagnslogikk og første ordens predikatlogikk. Ein tar opp tilhøvet mellom syntaks og semantikk, resonnementsystem og bevisstrategiar, samt kompletthetsomgrepet. Ein vil og sjå på elementær bruk innan informatikk, som logikkprogrammering og formell spesifikasjon.

Læringsutbyte

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 kurset det naudsynte grunnlaget for vidare studium innan teoretisk databehandling.

Krav til forkunnskapar

Ingen

Tilrådde forkunnskapar

MNF130

Krav til studierett

For oppstart på emnet er det krav om ein studierett knytt til Det matematisk-naturvitskaplege fakultet, samt at du oppfyller ev opptakskrav

Obligatorisk undervisningsaktivitet

Godkjente 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). Se meir informasjon på: www.uib.no/digitaleksamen. Det er høve til å gi karakter på obligatoriske oppgåver som kan inngå i sluttkarakteren. Dersom det er færre enn 20 deltakarar kan det bli munnleg eksamen.

Ingen lovlege hjelpemiddel.

Karakterskala

Ved sensur av emnet vert karakterskalaen A-F nytta.

Fagleg overlapp

I127: 10 SP

Vurderingssemester

Det er ordinær eksamen kvart semester

Emneevaluering

Studentane skal evaluere undervisninga i tråd med UiB og instituttet sitt kvalitetssikringssystem.

Kontakt

Kontaktinformasjon

Forelesar og administrativ kontaktperson finn du på Mitt UiB, kontakt ev. studiekonsulenten på instituttet.