75037     LOGIKK
          Logikk
          Logic 
Faglærer: Førsteamanuensis Finn Faye Knudsen
Uketimer: Vår: 4F + 2Øs + 2D = 12Bt
Tid:      Vår:   F   on  12-14  F4
                     fr  08-10  344-SII
Eksamen:  15.mai               Hjelpemidler: A1            Øvinger: F    Karakter: TE

Mål: Logikk er et nødvendig redskap innenfor slike felter som logikkprogrammering, spesifikasjon av abstrakte datatyper, programverifisering etc. Faget tar sikte på å gi studentene en grundig innføring i matematisk logikk, modell- og bevisteori.

Forutsetning: Det vil være en fordel om studentene har tatt fag 75026 Diskret matematikk.

Innhold: Algoritmer og beregnbarhet via teorien for Turingmaskiner. Syntaks og semantikk for predikatlogikk. Normalformer. Skolemisering. Kompakthet og uavgjørbarhet. Formelle systemer. Kompletthet for Hilbertsystemer. Gentzenkalkyle, resolusjon. Teorier med likhet og paramodulasjon.

Undervisningsform: Forelesninger og selvstendige øvinger.

Kursmateriell: Sperschneider og Antoniou: Logic. A Foundation for Computer Science, Addison-Wesley 1991.