Search programme

​Use the search function to search amongst programmes at Chalmers. The study programme and the study programme syllabus relating to your studies are generally from the academic year you began your studies.

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

Study programme for  
MPALG - COMPUTER SCIENCE - ALGORITHMS, LANGUAGES AND LOGIC, MSC PROGR Academic year: 2013/2014
The Study programme is adopted 2013-02-14 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 -13 up to Aug -14

AUTUMN TERM
Study period 1
Compulsory courses
37 DAT060 0106 E D Logic in computer science, Examination 7,5 22/10-2013 pm M 16/01-2014 pm V 18/08-2014 pm V
37 TIN092 0106  A Algorithms, Examination 7,5 26/10-2013 pm H 13/01-2014 pm M 27/08-2014 pm V
37 TIN092 0206 S A Algorithms, Laboratory 0,0
Elective courses
37 DAT140 0108 E 1)  C Types for programs and proofs, Written and oral assignments 7,5
37 TDA261 0107 * 1)  X Frontiers of programming language technology, Project 1,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 25/10-2013 pm H 14/01-2014 pm M

Study period 2
Elective courses
37 DAT105 0107  A Computer architecture, Project 1,5
37 DAT105 0207 S A Computer architecture, Examination 6,0 16/12-2013 pm H 22/04-2014 pm V 18/08-2014 pm M
37 TDA183 0108 E 1)  A Models of computation, Examination 7,5 18/12-2013 am H 25/04-2014 pm M
37 TDA251 0107 E 1)  C Algorithms, advanced course, Project 7,5
37 TDA261 0107 * 1)  X Frontiers of programming language technology, Project 2,0
37 TDA351 0107  1)  D Cryptography, Examination 7,5 17/12-2013 pm M 24/04-2014 am V
37 TDA351 0207 S 1)  D Cryptography, Laboratory 0,0
37 TDA361 0107  D Computer graphics, Examination 7,5 17/12-2013 pm V 22/04-2014 pm V
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 17/12-2013 am M 25/04-2014 am M
37 TDA507 0113 E B Computational methods in bioinformatics, Written and oral assignments 7,5

 
SPRING TERM
Study period 3
Compulsory courses
37 DAT151 0112  B Programming language technology, Examination 6,0 14/03-2014 pm M 15/01-2014 am M 20/08-2014 pm M
37 DAT151 0212 S B Programming language technology, Laboratory 1,5
Elective courses
37 DAT121 0111 E LA Programming paradigms, Examination 7,5 15/03-2014 am M 29/08-2014 pm V
37 EDA222 0106  B Real time systems, Examination 4,5 10/03-2014 am V 16/01-2014 am M 25/08-2014 pm V
37 EDA222 0206 S B Real time systems, Laboratory 3,0
37 EDA263 0107  C Computer security, Examination 6,0 15/03-2014 am V 18/01-2014 am V 27/08-2014 pm V
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 TDA261 0107 * 1)  X Frontiers of programming language technology, Project 2,0
37 TDA342 0110  1)  C Advanced functional programming, Laboratory 4,5
37 TDA342 0210 S 1)  C Advanced functional programming, Examination 3,0 11/03-2014 am V 25/08-2014 pm V

Study period 4
Elective courses
37 DAT280 0112  1)  C Parallel functional programming, Examination 6,0 03/06-2014 am V 21/08-2014 pm V
37 DAT280 0212 S 1)  C Parallel functional programming, Laboratory 1,5
37 EDA491 0107  B Network security, Examination 6,0 26/05-2014 am M 13/01-2014 pm M 29/08-2014 pm M
37 EDA491 0207 S B Network security, Laboratory 1,5
37 TDA261 0107 *E 1)  X Frontiers of programming language technology, Project 2,0
37 TDA282 0107  1)  X Compiler construction, Examination 7,5 Contact examiner
37 TDA282 0207 S 1)  X Compiler construction, Laboratory 0,0
37 TDA602 0112  1)  A Language-based security, Project 4,5
37 TDA602 0212 S 1)  A Language-based security, Laboratory 3,0
37 TIN172 0113  1)  D Artificial intelligence, Project 5,0
37 TIN172 0213 S 1)  D Artificial intelligence, Examination 2,5 27/05-2014 pm M 19/08-2014 pm M

 
OTHER
Regardless of period
Elective courses
37 DAT085 0107 E X Project in computer science, Project 7,5


1) Compulsory elective: Compulsory elective (DAT140, DAT280, TDA183, TDA206, TDA231, TDA251, TDA261, TDA282, TDA293, TDA342, TDA351, TDA602, TIN172): 5 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: Mon 28 Nov 2016.