Svenska Studiehandboken kurser

Matematik

MAM053 Diskreta matematiska strukturer 4.0 Poäng

THIS PAGE IS ALSO AVAILABLE IN ENGLISH

Program/Tidsperiod

D2 / Lp II

SPRÅK: Svenska

EXAMINATOR
G Söderbacka 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 ä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 studenter 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, boolesk algebra, ä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), 3:e upplagan 1994 eller senare

ÖVRIGT
Rekommenderade förkunskaper: Matematikkursen för årskurs ett.

Last modified: 97-06-05by Jan Lindberg
Tillbaka till institutions meny