Logikkprogrammering

Fakta om studiet

EmnekodeINFO232
Studiepoeng5
UndervisingssemesterHaust
Undervisingsspråk
Norsk
Antall semester1
Ressursar
TilhørerInstitutt for informasjons- og medievitenskap

Kontakt

Kontaktinformasjon

studieveileder@info.uib.no

Mål og innhald

Studentane skal meistre eit av dei dominerande programmeringsspråka innanfor kunstig intelligens og meistre enkle metodar på dette feltet.

Introduksjon til logikkprogrammering med Prolog. Deklarativ og prosedyreorientert forståing av program. Søk og tilbakesporing, datastrukturar, grunnleggjande I/O. Innføring i problemløysing ved hjelp av søkjeteknikkar.

Læringsutbyte/resultat

Etter å ha fullført emnet skal studenten kunne

  • greie ut om korleis program vert utforma i eit logikkprogrammeringsspråk.
  • gjere greie for korleis logikk-program vert eksekvert.
  • gjere greie for korleis ein representerer data i logikk-program.
  • demonstrere korleis ein bruker søkjestrategiar til problemløysing i logikk-program.
  • utvikle enkle applikasjonar i eit logikkprogrammeringsspråk.
  • løyse søkjeproblem i eit logikkprogrammeringsspråk.

Undervisningssemester

Haust

Eksamenssemester

Haust/vår

Studienivå

Bachelor

Institutt

Institutt for informasjons- og medievitskap

Krav til studierett

Ope

Krav til forkunnskapar

Ingen

Tilrådde forkunnskapar

INFO102 eller tilsvarande. Programmeringskompetanse.

Fagleg overlapp

Fullt overlapp mot INFO281

Undervisning og omfang

Førelesingar og gruppeøvingar på datalab, kvar normalt 2 timar per veke i ca. 10 veker.

Obligatoriske arbeidskrav

To beståtte innleveringsoppgåver

Obligatoriske oppgåver må gjerast og godkjennast i undervisningssemesteret. Dei er gyldige berre eitt semester utover det semesteret dei har blitt godkjende.

Vurderingsformer

3 timar skriftleg eksamen

Karakterskala

Karaktersett med bokstavkarakterar (A-F).

Emneevaluering

Emnet vert evaluert av studentar kvart 3. år, av faglærer kvart år.