Search course

Use the search function to find more information about the study programmes and courses available at Chalmers. When there is a course homepage, a house symbol is shown that leads to this page.

Graduate courses

Departments' graduate courses for PhD-students.

​​​​
​​
Block schedule »   Permissible substitutions »   Study programme syllabus »  | Year:  1  2 

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.
picture

Page manager Published: Thu 04 Feb 2021.