 
|
|
|
|
|
|
|
|
|
IED339 Logik och Algoritmik 5.0 poäng | |
|
ÄMNE (enl SCB) Data och systemvetenskap NIVÅ/DJUP A G PROGRAM/TIDSPERIOD Sy1 / Lp III SPRÅK: Svenska EXAMINATOR Hugo Quisbert Univ adj FASTSTÄLLD Kursplanen är fastställd 010223 att gälla från ht-01. FÖRKUNSKAPSKRAV Grundläggande behörighet. SYFTE/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 Logik: Kursmomentet skall ge en inledning i logik. I kursen kommer följande områden inom satslogik och predikatlogik att behandlas: - det satslogiska språket - analys - sanning, logisk sanning och konsekvens - härledning och bevis - predikatlogik - mängdteori - relationer och funktioner
Algoritmik: | |
| Tentamen - Algoritmik | 2.0poäng |
| Tentamen - Logik | 3.0poäng |
|
LITTERATUR Janler, Wiberg: Datatyper och algoritmer, Studentlitteratur, Lund, 2000, 357 sid. Prawitz, Dag: ABC i symbolisk logik, Thales,2001.
|
Ö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. Kontaktperson: Hugo Quisbert |
| 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 |