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 »   Study programme syllabus »  | Year:  1  2  3  4  5 
Programme concentration:  common for all ALG  DAT  DIG  ISS  KOM  MDI  SPR  SYS  SÄK  XF 

Study programme for  
TDATA - COMPUTER SCIENCE AND ENGINEERING Academic year: 2005/2006

Fourth Year
Admitted 2004 or earlier
Programme concentration Computer Languages
Explanations

Dept Course code Element
code
Note Block Course name, Element type Extent/
period
Regular
exam
Re-sit examination
Oct -05 up to Aug -06

AUTUMN TERM
Study period 1
Compulsory courses
37 TDA181 0104 E Models of computation, Examination 4,0 19/10-2005 am V 11/01-2006 pm V Contact examiner
37 TDA260 0198 * Topics in computer languages, Project, s 1,0
37 TDA281 0101  Compiler construction, Examination 4,0 Contact examiner Contact examiner
37 TDA281 0201 S Compiler construction, Laboratory 0,0

Study period 2
Compulsory courses
37 TDA260 0198 * Topics in computer languages, Project, s 1,0
Elective courses
37 TDA340 0101  Advanced functional programming, Examination, mat, ff 4,0 Contact examiner Contact examiner Contact examiner
37 TDA340 0201 S Advanced functional programming, Laboratory 0,0
37 TDA565 0104  Program verification, Examination 5,0 Contact examiner Change
37 TDA565 0204 S Program verification, Laboratory 0,0

 
SPRING TERM
Study period 3
Compulsory courses
37 TDA260 0298 * Topics in computer languages, Project, s 1,0
Elective courses
37 TDA291 0101 S Software engineering using formal methods, Examination, mat, ff 4,0 04/03-2006 am V Contact examiner Change 25/08-2006 am V

Study period 4
Compulsory courses
37 TDA260 0298 *S Topics in computer languages, Project, s 1,0
Elective courses
37 TDA345 0101  Semantics of programming languages, Examination, mat, ff 4,0 23/05-2006 pm V Contact examiner
37 TDA345 0201 S Semantics of programming languages, Laboratory 0,0
37 TDA510 0103  Language technology, Examination 4,0 30/05-2006 am M
37 TDA510 0203 S Language technology, Laboratory 0,0
37 TDA955 0198 E Hardware description and verification, Examination, ff 4,0 29/05-2006 am V Contact examiner 30/08-2006 pm V
37 TMV026 0105 S Finite automata theory and formal languages, Examination, mat 5,0 27/05-2006 am M 28/08-2006 pm V

 
OTHER
Regardless of period


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