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