(1-AIN-636/2-AIN-636 Modern Approaches to Web Design)
Line 25: Line 25:
 
* 1-AIN-410: [[Mathematics 3|Mathematics (3)]]
 
* 1-AIN-410: [[Mathematics 3|Mathematics (3)]]
 
* 1-AIN-470: [[Specification and Verification of Programs]]
 
* 1-AIN-470: [[Specification and Verification of Programs]]
* 1-AIN-411: [[Introduction to Computer Logic]]
+
* 1-AIN-411: [[Introduction to Computational Logic]]
 
* 1-AIN-425: [[Declarative Programming of Web Applications]]
 
* 1-AIN-425: [[Declarative Programming of Web Applications]]
 
* 1-AIN-430: [[Programming Paradigms]]
 
* 1-AIN-430: [[Programming Paradigms]]

Revision as of 10:24, 23 November 2009

This page lists all courses offered by our department:

Courses that are part of our study programs, but are offered by other departments are not on THIS list. Please visit the page for the respective study program, to find links to the homepages of those courses, or teachers that are available/known to us. Please also note that some of the courses may be suspended in the coming semester: to find out about that, please at the page for the respective study program.

Bachelor programs

Master programs