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 |
|
Second 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 |
Elective courses
|
37 |
DAT140 |
0108 E |
|
C |
Types for programs and proofs, Written and oral assignments |
7,5 |
|
|
|
37 |
TDA293 |
0210 S |
|
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 |
DAT315 |
0115 E |
|
A |
The computer scientist in society, Written and oral assignments |
7,5 |
|
|
|
Elective courses
|
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 |
TDA251 |
0107 E |
|
C |
Algorithms, advanced course, Project |
7,5 |
|
|
|
37 |
TDA352 |
0215 S |
|
D |
Cryptography, Examination |
6,0 |
14/01-2016 pm H Change
|
06/04-2016 am SB Change
|
|
37 |
TDA361 |
0207 S |
|
D |
Computer graphics, Laboratory |
0,0 |
|
|
|
37 |
TDA452 |
0211 S |
|
C |
Functional programming, Examination |
4,5 |
14/01-2016 pm M
|
07/04-2016 pm M
|
|
|
|
SPRING TERM |
Study period 3 |
Elective courses
|
37 |
DAT122 |
0115 |
|
|
Programming paradigms, Laboratory |
3,0 |
|
|
|
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 |
EDA263 |
0107 |
|
C |
Computer security, Examination |
6,0 |
19/03-2016 am H
|
09/04-2016 pm SB
|
24/08-2016 pm M
|
37 |
TDA206 |
0101 E |
|
A |
Discrete optimization, Examination |
7,5 |
Contact examiner
|
|
|
37 |
TDA342 |
0110 |
|
C |
Advanced functional programming, Laboratory |
4,5 |
|
|
|
|
Study period 4 |
Elective courses
|
37 |
DAT280 |
0112 |
|
C |
Parallel functional programming, Examination |
6,0 |
28/05-2016 am M
|
|
18/08-2016 pm M
|
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 |
TDA283 |
0114 E |
|
|
Compiler construction, Project |
7,5 |
|
|
|
37 |
TDA602 |
0212 S |
|
A |
Language-based security, Laboratory |
3,0 |
|
|
|
37 |
TIN173 |
0215 S |
|
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 |
DAT235 |
0110 E |
|
|
Research-oriented course in Computer Science and Engineering, Project |
7,5 |
|
|
|
|
|
DIPLOMA THESIS |
37 |
DATX05 |
0108 |
|
|
Master's thesis in Computer science and engineering, Diploma thesis |
30.0 |
|
|
|
37 |
DATX60 |
0209 |
|
|
Master's thesis in Computer science and engineering, part B, Diploma thesis |
30.0 |
|
|
|
|
* 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. |
|
|
|
|