Poäng: 4
ECTS poäng: 5
Nivå: B
Betyg: 3, 4, 5
ECTS betyg: A-F
Språk: Svenska / Swedish
Rekommenderad för IT/KS och IS
Valfri för IT/KK och ME
Kursuppläggning
Kursansvarig |
| |
Datalogi fk
En kurs i datalogi som går under period 3 i åk 2.
Mål
Kursens mål är att ge fördjupade kunskaper om begrepp och
principer inom datalogi framförallt med fokus på principer för
abstraktion och metanivåer.
Kursinnehåll
Programmeringsparadigmer och alternativa beräkningsmodeller.Fördjupning
av formella språk och automater. Systematisk användning av ett
deklarativt programmeringsspråk.Interpretatorer och kompilatorer.
Förkunskaper
Logik. Matematikkurser: linjär algebra och diskret matematik. Datalogikurser:
Datalogi gk och Objekt Orienterad Programmering.
Påbyggnad
Automatateori, Logikprogrammering, Agentprogrammering, Operativsystem,
Programmering med processer mfl.
Kursfordringar
Laborationsuppgifter. En skriftlig tentamen.
Kurslitteratur
Exempel på tänkt kurslitteratur:
- Foundations of Computer Science, Aho and Ullman, Computer Science
Press.
- Structure and Interpretation of Computer Programs, Abelson and Sussman,
MIT Press.
KTH
Studerandeinformation
Sidansvarig: Studiehandboken
Senast uppdaterad 1999-04-20