Studiehandboken kurser

Studiehandboken 1998/99

Matematik
MAM073 Beräkningsteori 4.0 poäng
ÄMNE (enl SCB) Matematik/Tillämpad matematik NIVÅ/DJUP B G PROGRAM/TIDSPERIOD D4 / SPRÅK: Svenska 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 kunskap om vad som är möjligt att beräkna och om olika beräkningsmodeller. INNEHÅLL Formella språk och automater, rekursiva funktioner, turingmaskiner, lambdakalkyl, grammatiker, grammatikberäkningar, Churchs tes och frågan om vad som är möjligt att beräkna, något om komplexitetsteori. UNDERVISNING Undervisningen består av lektioner eller föreläsningar. Lektionerna består av att nya begrepp presenteras, satser formuleras och bevisas, algoritmer förklaras och tillämpas vid problemlösning. Övningsuppgifter, som kräver datorkörning utanför schemalagd tid, kan förekomma. 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
Tentamen	4.0poäng
LITTERATUR H.r. Lewis, C.H. Papadimitriov: Elements of the theory of computation. Prentice-Hall,1981. ÖVRIGT Rekommenderade förkunskaper: MAM053 Kursen ges vartannat år alternerande med kursen Logik MAM096. Kursen ges ej 98/99.

LULEÅ TEKNISKA UNIVERSITET
Universitetsområdet, Porsön, 971 87 Luleå. Tel. 0920-91 000, fax 0920-91 399

Last edited 1998-12-16