Studiehandboken 06/07 del 4 - KTH

KTH Studiehandbok Studiehandbok 2006-2007
2G1512 Datalogi II
Poäng/KTH Credits 6
ECTS-poäng/ECTS Credits 9
Kursnivå/Level
C
Betygsskala/Grading, KTH 3, 4, 5
ECTS-betygsskala/Grading, ECTS
A-F
Villkorligt valfri för/Conditionally Elective TPVDM1
for
Språk/Language
Svenska och engelska/Swedish and English
Kurssida/Course Page
http://www.it.kth.se/courses/2G1512
Computer Science II
Kursansvarig/Coordinator
Kista
Christian Schulte, schulte@imit.kth.se
Tel. 08-790 4264
Kursuppläggning/Time Period 1, 2
Föreläsningar 30 h
Övningar 30 h
Lab 12 h
Kortbeskrivning
Kursen täcker begrepp, tekniker och modeller för programkonstruktion.
Mål
Kursen skall leda till fördjupad kunskap och ge färdigheter inom
programspråk och programmeringstekniker samt förtrogenhet med centrala
datalogiska begrepp.
Kursinnehåll
Deklarativa beräkningsmodeller och deklarativ programmering, relationella
och funktionella modeller. Concurrency, datadriven och lat evaluering.
Programmering med tillstånd, komponent-baserad och objekt-orienterad
programmering. Samspel mellan concurrency och tillstånd. Interpretering och
virtuella maskiner. Introduktion till programspråkssemantik.
Förkunskaper
Kunskaper motsvarande kurserna 2I1027 Datalogi gk, 5B1118 Diskret
Matematik, 2G1518 Datorteknik.
Kursfordringar
Tentamen (TEN1; 3 p)
Laborationskurs (LAB1; 3 p)
Kurslitteratur
Peter Van Roy and Seif Haridi. Concepts, Techniques and Models of
Computer Programming. The MIT Press, April 2004
Abstract
The course covers concepts, techniques
and models for computer programming.
Aim
The course shall lead to deepened
knowledge and give skills in
programming languages and
programming techniques and also gives
an acquaintance with central concepts in
computer science.
Syllabus
Declarative models of computation and
declarative programming, relational and
functional models. Concurrency, data
driven and lazy evaluation.
Programming with state, componentbased
and object-oriented programming.
The interplay between concurrency and
state. Interpretation and virtual
machines. Introduction to semantics of
programming languages.
Prerequisites
Knowledge corresponding to the courses
2I1027 Datalogi gk, 5B1118 Diskret
Matematik, 2G1518 Datorteknik.
Requirements
Examination (TEN1; 3 credits),
Laboratory course (LAB1; 3 credits)
Required Reading
Peter Van Roy and Seif Haridi.
Concepts, Techniques and Models of
Computer Programming. The MIT
Press, April 2004
ICT Skolan för informations- och kommunikationsteknik 691