Svenska Studiehandboken kurser

Matematik

MAM096 Logik 4.0 Poäng

Program/Tidsperiod

D4, E4 / Lp IV

SPRÅK:

EXAMINATOR
T Gunnarsson Univ lekt

FASTSTÄLLD
Kursplanen är fastställd av Institutionen för matematik 1997-02-17 att gälla från H97.

FÖRKUNSKAPSKRAV

MÅL
Kursens mål är att ge grundläggande kunskap, insikt och färdighet i logikens olika delar, aspekter och tillämpningar.

INNEHÅLL
Den matematiska logikens grundläggande begrepp och strukturer såsom språk, semantik, modeller, härledningssystem, teorier, typer, bevis, sanningsbegrepp, datorstödda bevissystem och mängdlära. Satser och egenskaper för logiska system såsom konsistens, modellexistens, uttryckskraft, sundhet, avgörbarhet, fullständighet och Gödels satser. Olika typer av logiska system såsom satslogik, predikatlogik, modala logiker, flervärd logik, intuitionistisk logik, konstruktiv logik, filosofisk logik, linjär logik, delstrukturs logik och högre ordningens logik. Härledningssystem, algoritmiska och datalogiska aspekter såsom samband mellan bevis och program, sekventkalkyl av Gentzentyp, naturlig härledning, lambda-kalkyl, Per Martin-Löfs typteori, Kripke semantik, Skolems paradox, icke-standard logik och samband med beräkningsteori och talteori. Olika typer av tillämpningar, något om formella system och logiska plattformar. Datorlaborationer.

UNDERVISNING
Undervisningen består av lektioner eller föreläsningar samt datorlaborationer. Lektionerna består av att nya begrepp presenteras, satser formuleras och bevisas, algoritmer förklaras och tillämpas vid problemlösning. Laborationerna är obligatoriska.

EXAMINATION
En skriftlig tentamen i slutet av läsperioden. Rättning av tentamen enligt alternativ A i "Regler för tentamen"
KURSENS BETYGSKALA: 3, 4, 5

MOMENT/PROV


Datorstödda laborationer                                    	  1.0	Poäng
Tentamen                                                    	  3.0	Poäng

LITTERATUR
A. Nerode, R.A. Shore: Logic for Applications, Springer 1993

ÖVRIGT
Rekommenderade förkunskaper är förutom en viss matematisk mognad någon kurs i programmering. Kursen ges vartannat år alternerade med kursen Beräkningsteori MAM073. Kursen ges ej läsåret 1997/98.

Last modified: 97-06-05by Jan Lindberg
Tillbaka till institutions meny