 
|
|
|
|
|
|
|
|
|
MAM096 Logik 4.0 poäng | |
|
ÄMNE (enl SCB) Matematik/Tillämpad matematik NIVÅ/DJUP C K 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.0poäng |
| Tentamen | 3.0poä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 gavs ej läsåret 1997/98. |
Ansvarig för sidan: Karin.Lindholm@dc.luth.se
| Universitetet | Student | Forskning | Sök | Kontakta oss | In English |
 LULEÅ TEKNISKA UNIVERSITET Universitetsområdet, Porsön, 971 87 Luleå. Tel. 0920-91 000, fax 0920-91 399 |