75037      LOGIKK
           Logikk
           Logic 
Faglærer:  Førsteamanuensis Finn Faye Knudsen
Uketimer:  Vår: 4F + 2Øs + 2D = 12Bt
Tid:       Vår:  F   ti  10-12  F4
                     on  08-10  F4
Eksamen:   7.juni               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.