Innføring i logikk
Undervisningsperiode :
- Inneværende semester
- Neste semester
Aktuelle studieprogram
| Studiepoeng | 10 |
| Undervisningssemester | Vår |
| Fagleg overlapp | I127: 10 SP |
| Timeplan | Se timeplan |
| Pensumliste | Se pensumliste |
Undervisningsspråk
Engelsk
Krav til forkunnskapar
Ingen
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.
Kontaktinformasjon
Forelesar og Administrativ kontaktperson finn du på Mi side, kontakt ev studiekonsulenten på Insituttet.
Undervisningsmetodar
Undervisningsformen kan bli endret dersom det er få studenter som deltar.
Undervisningssemester
Vår
Eksamenssemester
Det er ordinær eksamen kvart semester
Undervisningsspråk
Engelsk
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
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/resultat
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
Fagleg overlapp
I127: 10 SP
Obligatoriske arbeidskrav
Oppgåver.
Obligatoriske aktiviteter er gyldige i to semester, det semesteret aktiviteten godkjennes samt det påfølgende semesteret.
Vurderingsformer
3 timar skriftleg eksamen. 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 muntleg eksamen.
Ingen lovlege hjelpemiddel.
Karakterskala
Ved sensur av emnet vert karakterskalaen A-F nytta.
Undervisningssted
Bergen
Emneevaluering
Studentane skal evaluere undervisninga i tråd med UiB og instituttet sitt kvalitetssikringssystem.
Kontaktinformasjon
Forelesar og Administrativ kontaktperson finn du på Mi side, kontakt ev studiekonsulenten på Insituttet.