 
|
|
|
|
|
|
|
|
|
IED312 Tillämpad matematik för systemvetare 10.0 poäng | |
|
ÄMNE (enl SCB) Data och systemvetenskap NIVÅ/DJUP A G PROGRAM/TIDSPERIOD SPRÅK: Svenska EXAMINATOR S Samuelsson Univ adj FASTSTÄLLD Kursplanen är fastställd 980216 att gälla från ht -98. FÖRKUNSKAPSKRAV Grundläggande behörighet samt 3-årig matematik MÅL Kursen avser att ge grundläggande kunskaper om logik, termer, symboler, funktioner och metoder för att ge en förståelse/färdighet hur man löser problem inom det systemvetenskapliga problemområdet. Kursen utgör en förberedelse för fortsatta studier i Data- och systemvetenskapliga ämnet. INNEHÅLL I kursen ingår nedanstående moment; Moment 1 logik (2 poäng) Kursmomentet skall ge en inledning i logik. I kursen kommer följande områden inom satslogik och predikatlogik att behandlas; - språket - analys - sanning, logisk sanning och konsekvens - härledning och bevis Moment 2 algoritmik (3 poäng) Kursmomentet skall ge grundläggande kunskaper om programbyggnadskonstens tre områden, datatyper, algoritmer och kontroll, (styrning). I kursen kommer följande delar att behandlas; - lista, stack, kö - ordnat träd, binärt träd - tid och rum - sökning och sortering - relation (inlämningsuppgift) Moment 3 analys (5 poäng) Kursmomentet skall ge grundläggande kunskaper i tillämpad matematisk analys och omfattar; - formelhantering - ekvationer - exponetial- och logaritmfunktioner - derivata och integral - sannolikhetslära - matriser - geometriska serier och ekonomiska tillämpningar (datorlaborationer och inlämningsuppgifter) UNDERVISNING Undervisningen består av lektioner/föreläsningar och datorlaborationer. EXAMINATION Examinationen består av två skriftliga tentamen ( 4 poäng resp 3 poäng) Tentamen 1, 4 poäng, omfattar moment 1 och moment 2 Tentamen 2, 3 poäng, omfattar moment 3 Examinationen omfattar även för Moment 1 och moment 2: Muntlig och skriftlig redovisning av inlämningsuppgift motsvarande 1 poäng. Moment 3: Muntlig och skriftlig redovisning av laborationer och inlämningsuppgift motsvarande 2 poäng. KURSENS BETYGSKALA: U, G, VG MOMENT/PROV | |
| Analys, tentamen | 3.0poäng |
| Logik, Algoritmik - tentamen | 4.0poäng |
| Analys, muntlig och skriftlig redovisning | 2.0poäng |
| Logik, algoritmik - muntlig och skriftlig redovisning | 1.0poäng |
|
LITTERATUR Dunkels, A, Nilsson, T: Räkning, formler och sånt ..., Studentlitteratur, 1991. Janler, Wiberg: Datatyper och algoritmer, Studentlitteratur, Lund, 1990, 357 sid. Prawitz, Dag: ABC i symbolisk logik, Thales, 1991, 240 sid. Kompendium IES/DSV, Samuelsson, S: Demonstrationer och övningar med kalkylprogram, 1995. Kompendium IES/DSV: Tillämpad matematik för systemvetare - Röda Tråden, 1996. Kontaktperson: Sören Samuelsson |
Ansvarig för sidan: Birgitta.Hakansson@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 |