78040     LOGIKKPROGRAMMERING
          Logikkprogrammering
          Logic programming
Faglærer: Professor Jan Komorowski
Uketimer: Høst: 2F + 3Øu + 2Øs + 3D = 12Bt
Tid:      Høst:  F   on  10-12  356-SII                     Ø   ma  17-19 356-SII
                                                              fr  17-18 356-SII
Eksamen:  10.desember          Hjelpemidler: A1            Øvinger: O    Karakter: TE

Mål: Formålet med faget er å gi grunnleggende kunnskaper i logikk og logikkprogrammering og å belyse logikkens rolle som datateknikkens fundament.

Forutsetning: Fag 75026 Diskret matematikk eller tilsvarende kunnskaper.

Innhold: Faget begynner med en innføring i predikatlogikk: Syntaks, semantikk, bevis og modeller. Logikkprogrammeringens logiske opphav presenteres samt anvendelse av logikkprogrammering i databehandling. Grunnleggende datalogiske begreper vil bli studert, bl.a. datastrukturer, algoritmer, syntaksanalyse, interpretering og kompilering, programvarekonstruksjon og databaser. Faget vil danne grunnlaget for fag 78042 Kunnskapsteknologiske metoder.

Undervisningsform: Forelesninger, øvinger i klasserommet, selvstudium inklusive teori og programmeringsoppgaver.

Kursmateriell: U. Nilsson & J. Maluszynski: Logic Programming and Prolog, Wiley.

Forelesningsnotater.