|
|
|
|
MAM065 Diskreta matematiska strukturer 4.0 poäng | |
ÄMNE (enl SCB) Matematik/Tillämpad matematik NIVÅ/DJUP A G PROGRAM/TIDSPERIOD DI 1, DTI / Lp I SPRÅK: Svenska 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, 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: U, 3, 4, 5 MOMENT/PROV | |
Tentamen | 4.0poäng |
LITTERATUR R.P. Grimaldi: Discrete and combinatorial mathematics. Addison-Wesley, 4:e upplagan, eller senare. Stenciler på kompletterande delar.
Senast reviderad litteratur:
2000-02-14
|
Ytterligare kursinformation: http://www.sm.luth.se/math/education/ |
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 |