 
|
|
|
|
|
|
|
|
|
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 990219 att gälla från ht -99. FÖRKUNSKAPSKRAV Ma C + Sh A 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. ÖVRIGT Den som inte personligen registrerat sig eller kontaktat examinator eller ansvarig lärare vid något av de två första kurstillfällena, kommer att förlora sin plats till eventuell reserv på antagningslistan. Kontaktperson: Sören Samuelsson |
| 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 |