45135      LOGIKKPROGRAMMERING
           Logikkprogrammering
           Logic programming
Faglærer:  Professor Jan Komorowski
Uketimer:  Høst: 2F + 3Øu + 2Øs + 3D = 12Bt
Tid:       Høst: F   ma  08-10  344-SII                     Ø   on  16-17 344-SII
                                                              fr  15-17 344-SII
Eksamen:   16.januar            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 45136 Kunnskapsteknologiske metoder.

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

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

Forelesningsnotater.