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: 2006/2007

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 -06 up to Aug -07

AUTUMN TERM
Study period 1
Compulsory courses
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
37 TDA340 0201 S Advanced functional programming, Laboratory 0,0
37 TDA565 0104  Program verification, Examination 5,0 Contact examiner 12/04-2007 pm V 27/08-2007 pm V
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 10/03-2007 am V Contact examiner 24/08-2007 am M

Study period 4
Compulsory courses
37 TDA260 0298 *S Topics in computer languages, Project, s 1,0
Elective courses
37 TDA182 0106  Models of computation, Examination 5,0 01/06-2007 am M Contact examiner
37 TDA182 0206 S Models of computation, Written and oral assignments 0,0
37 TDA345 0101  Semantics of programming languages, Examination, mat, ff 4,0 29/05-2007 pm V Contact examiner
37 TDA345 0201 S Semantics of programming languages, Laboratory 0,0
37 TDA510 0103  Language technology, Examination 4,0 22/08-2007 pm V
37 TDA510 0203 S Language technology, Laboratory 0,0
37 TDA955 0198 E Hardware description and verification, Examination, ff 4,0 01/06-2007 am V Contact examiner 29/08-2007 pm V
37 TMV026 0105 S Finite automata theory and formal languages, Examination, mat 5,0 31/05-2007 am M 27/08-2007 am M

 
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.