Study programme for |
|
MPALG - COMPUTER SCIENCE - ALGORITHMS, LANGUAGES AND LOGIC, MSC PROGR
|
Academic year: 2015/2016 |
The Study programme is adopted 2015-02-19 by Dean of Education |
|
First Year |
Explanations
|
|
|
Dept |
Course code |
Element code |
Note |
Block |
Course name, Element type |
Extent/ period |
Regular
exam |
Re-sit examination Oct -15 up to Aug -16 |
|
AUTUMN TERM |
Study period 1 |
Compulsory courses
|
37 |
DAT060 |
0106 E |
|
D |
Logic in computer science, Examination |
7,5 |
27/10-2015 pm H
|
04/01-2016 pm H Change
|
15/08-2016 pm SB
|
37 |
TIN093 |
0114 E |
|
A |
Algorithms, Examination |
7,5 |
24/10-2015 pm M
|
07/01-2016 am H Change
|
25/08-2016 pm M
|
Elective courses
|
37 |
DAT140 |
0108 E |
1) |
C |
Types for programs and proofs, Written and oral assignments |
7,5 |
|
|
|
37 |
TDA293 |
0110 |
1) |
B |
Software engineering using formal methods, Laboratory |
2,5 |
|
|
|
37 |
TDA293 |
0210 S |
1) |
B |
Software engineering using formal methods, Examination |
5,0 |
30/10-2015 pm V Change
|
05/01-2016 am H
|
|
|
Study period 2 |
Compulsory courses
|
37 |
DAT151 |
0112 |
|
B |
Programming language technology, Examination |
6,0 |
15/01-2016 pm H
|
06/04-2016 am M
|
17/08-2016 pm M
|
37 |
DAT151 |
0212 S |
|
B |
Programming language technology, Laboratory |
1,5 |
|
|
|
Elective courses
|
37 |
DAT105 |
0107 |
|
A |
Computer architecture, Project |
1,5 |
|
|
|
37 |
DAT105 |
0207 S |
|
A |
Computer architecture, Examination |
6,0 |
11/01-2016 pm M Change
|
04/04-2016 pm EKL
|
16/08-2016 pm M
|
37 |
TDA183 |
0108 E |
1) |
A |
Models of computation, Examination |
7,5 |
13/01-2016 am M
|
07/04-2016 pm M
|
|
37 |
TDA251 |
0107 E |
1) |
C |
Algorithms, advanced course, Project |
7,5 |
|
|
|
37 |
TDA352 |
0115 |
1) |
D |
Cryptography, Laboratory |
1,5 |
|
|
|
37 |
TDA352 |
0215 S |
1) |
D |
Cryptography, Examination |
6,0 |
14/01-2016 pm H Change
|
06/04-2016 am SB Change
|
|
37 |
TDA361 |
0107 |
|
D |
Computer graphics, Examination |
7,5 |
15/01-2016 am M
|
05/04-2016 pm EKL
|
23/08-2016 pm M
|
37 |
TDA361 |
0207 S |
|
D |
Computer graphics, Laboratory |
0,0 |
|
|
|
37 |
TDA452 |
0111 |
|
C |
Functional programming, Laboratory |
3,0 |
|
|
|
37 |
TDA452 |
0211 S |
|
C |
Functional programming, Examination |
4,5 |
14/01-2016 pm M
|
07/04-2016 pm M
|
|
37 |
TDA507 |
0113 E |
|
A |
Computational methods in bioinformatics, Written and oral assignments |
7,5 |
|
|
|
|
|
SPRING TERM |
Study period 3 |
Elective courses
|
37 |
DAT122 |
0115 |
|
|
Programming paradigms, Laboratory |
3,0 |
|
|
|
37 |
DAT122 |
0215 S |
|
|
Programming paradigms, Examination |
4,5 |
|
|
|
37 |
EDA222 |
0106 |
|
B |
Real time systems, Examination |
4,5 |
14/03-2016 am M
|
08/04-2016 pm M
|
22/08-2016 pm M
|
37 |
EDA222 |
0206 S |
|
B |
Real time systems, Laboratory |
3,0 |
|
|
|
37 |
EDA263 |
0107 |
|
C |
Computer security, Examination |
6,0 |
19/03-2016 am H
|
09/04-2016 pm SB
|
24/08-2016 pm M
|
37 |
EDA263 |
0207 S |
|
C |
Computer security, Laboratory |
1,5 |
|
|
|
37 |
TDA206 |
0101 E |
1) |
A |
Discrete optimization, Examination |
7,5 |
Contact examiner
|
|
|
37 |
TDA231 |
0101 E |
1) |
D |
Algorithms for machine learning and inference, Project |
7,5 |
|
|
|
37 |
TDA342 |
0110 |
1) |
C |
Advanced functional programming, Laboratory |
4,5 |
|
|
|
37 |
TDA342 |
0210 S |
1) |
C |
Advanced functional programming, Examination |
3,0 |
15/03-2016 am H
|
|
22/08-2016 pm M
|
|
Study period 4 |
Elective courses
|
37 |
DAT280 |
0112 |
1) |
C |
Parallel functional programming, Examination |
6,0 |
28/05-2016 am M
|
|
18/08-2016 pm M
|
37 |
DAT280 |
0212 S |
1) |
C |
Parallel functional programming, Laboratory |
1,5 |
|
|
|
37 |
EDA491 |
0107 |
|
B |
Network security, Examination |
6,0 |
30/05-2016 am M
|
04/04-2016 pm EKL
|
26/08-2016 pm M
|
37 |
EDA491 |
0207 S |
|
B |
Network security, Laboratory |
1,5 |
|
|
|
37 |
TDA283 |
0114 E |
1) |
|
Compiler construction, Project |
7,5 |
|
|
|
37 |
TDA602 |
0112 |
1) |
A |
Language-based security, Project |
4,5 |
|
|
|
37 |
TDA602 |
0212 S |
1) |
A |
Language-based security, Laboratory |
3,0 |
|
|
|
37 |
TIN173 |
0115 |
1) |
D |
Artificial intelligence, Project |
5,0 |
|
|
|
37 |
TIN173 |
0215 S |
1) |
D |
Artificial intelligence, Written and oral assignments |
2,5 |
|
01/06-2016 am M Change
|
24/08-2016 am M Change
|
|
|
OTHER |
Regardless of period |
Elective courses
|
37 |
DAT085 |
0107 E |
|
|
Project in computer science, Project |
7,5 |
|
|
|
|
|
1) Compulsory elective: Compulsory elective (DAT140, DAT280, TDA183, TDA206, TDA231, TDA251, TDA283, TDA293, TDA342, TDA352, TDA602, TIN173): 4 of stated courses are required for the degree |
* Element includes education in another quarter |
S Final grade. All elements element grades are reported before the final grade for the course can be reported.
|
E The only element in the course. Element grade and grade for the course are reported at the same time. |
|
|
|
|