Svenska Studiehandboken kurser
Matematik
MAM096 Logik 4.0 Poäng
THIS PAGE IS ALSO AVAILABLE IN ENGLISH
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-09-25
Tillbaka till institutions meny