 
|
|
|
|
|
|
|
|
|
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)
| |
| 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: 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 |