Svenska Studiehandboken kurser

Matematik

MAM073 Beräkningsteori 4.0 Poäng

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.0	Poäng

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

ÖVRIGT
Rekommenderade förkunskaper: MAM053 Kursen ges vartannat år alternerande med kursen Logik MAM096. Kursen gavs 95/96.

Last modified: 97-09-25
Tillbaka till institutions meny