Luleå tekniska universitet
hemsidan sök kontakta oss student
Studiehandboken 00/01


Matematik

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/

Gäller för läsåret 00/01.
Ansvarig för sidan: Karin.Lindholm@dc.luth.se

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
Last edited 2000-12-18