Svenska Studiehandboken kurser

Matematik

MAM065 Diskreta matematiska strukturer 4.0 Poäng

THIS PAGE IS ALSO AVAILABLE IN ENGLISH

Program/Tidsperiod

DI 1 / Lp I

SPRÅK: Engelska

EXAMINATOR
O Lindblom Univ adj

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 är att ge kunskap om diskreta matematiska strukturer och deras användning för logisk analys av modeller. Framför allt syftar kursen till att ge eleven den mognad och de insikter som krävs för att den studerande skall kunna föra och följa resonemang på den abstraktionsnivå som krävs då icke triviala programmerings- och datatekniska problem attackeras.

INNEHÅLL
Mängdalgebra, kombinatorik, funktioner, relationer, rekursion, talteori, induktion, algebra, satslogik, predikatlogik, booleskalgebra, ändliga automater, formella språk, rekurrensekvationer, grafer och träd, koder, kryptering, några enkla algoritmer.

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
R.P. Grimaldi: Discrete and combinatorial mathematics (Addison-Wesley, tredje upplagan, 1994 eller senare). Stenciler på kompletterande delar.

ÖVRIGT


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