 
|
|
|
|
|
|
|
|
|
IED339 Logik och Algoritmik 5.0 poäng | |
|
ÄMNE (enl SCB) Data och systemvetenskap NIVÅ/DJUP A G PROGRAM/TIDSPERIOD SPRÅK: EXAMINATOR Hugo Quisbert Univ adj FASTSTÄLLD Kursplanen är fastställd 000223 att gälla från ht-00. FÖRKUNSKAPSKRAV Grundläggande behörighet. 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 systemvetenskapliga ämnet INNEHÅLL Moment 1 - Logik (3 poäng) Kursmomentet skall ge en inledning i logik. I kursen kommer följande områden inom satslogik och predikatlogik att behandlas: - det satslogiska språket - anlays - sanning, logisk sanning och konsekvens - härledning och bevis - predikatlogik - mängdteori - relationer och funktioner Moment 2 - Algoritmik (2 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 UNDERVISNING Undervisningen består av lektioner/föreläsningar. EXAMINATION Examinationen består av två skriftiga tentamen. KURSENS BETYGSKALA: U, G, VG MOMENT/PROV | |
| Tentamen - Algoritmik | 2.0poäng |
| Tentamen - Logik | 3.0poäng |
|
LITTERATUR Janler, Wiberg: Datatyper och algoritmer, Studentlitteratur, Lund, 1990, 357 sid. Prawitz, Dag: ABC i symbolisk logik, Thales, 1991, 240 sid.
|
ÖVRIGT Den som inte personligen registrerat sig eller kontaktat examinator eller ansvarig lärare vid det första kurstillfället kommer att förlora sin plats till eventuell reserv på antagningslistan. |
| 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 |