Luleå tekniska universitet
hemsidan sök kontakta oss student
Studiehandboken 1999/2000


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: U, 3, 4, 5

MOMENT/PROV

Tentamen 4.0poäng

LITTERATUR
H.r. Lewis, C.H. Papadimitriov: Elements of the theory of computation. Prentice-Hall,senaste upplagan.


ÖVRIGT
Rekommenderade förkunskaper: MAM053
Kursen ges vartannat år alternerande med kursen Logik MAM096. Kursen ges 99/00.
Gäller för läsåret 1999/2000.
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
Last edited 1999-12-15