Luleå tekniska universitet
hemsidan sök kontakta oss student
Studiehandboken 01/02


Matematik

MAM073 Beräkningsteori 4.0 poäng

ÄMNE (enl SCB)
Matematik/Tillämpad matematik

NIVÅ/DJUP
B G

PROGRAM/TIDSPERIOD
D4 /

SPRÅK: Engelska/Svenska

EXAMINATOR
Thomas 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
Läst kursen MAM053 (Diskreta matematiska strukturer) eller motsvarande.

SYFTE/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
Kursen ges vartannat år alternerande med kursen Logik MAM096. Kursen ges 99/00.


Ytterligare kursinformation: http://www.sm.luth.se/math/education/
Gäller för läsåret 01/02.
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 2001-12-17