Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision Next revision | Previous revision Next revision Both sides next revision | ||
sav08:general_information [2008/08/24 10:13] vkuncak |
sav08:general_information [2008/10/11 19:17] vkuncak |
||
---|---|---|---|
Line 12: | Line 12: | ||
Teaching Assistant: [[http://icwww.epfl.ch/~piskac/|Ruzica Piskac]] | Teaching Assistant: [[http://icwww.epfl.ch/~piskac/|Ruzica Piskac]] | ||
(Office Hours: every Tuesday, 16:00-18:00, [[http://plan.epfl.ch/?room=BC343|BC343]]) | (Office Hours: every Tuesday, 16:00-18:00, [[http://plan.epfl.ch/?room=BC343|BC343]]) | ||
+ | |||
+ | === Prerequisites === | ||
+ | |||
+ | The material from the following bachelor EPFL courses is a prerequisites for this course: | ||
+ | * Discrete structures (CS-150) | ||
+ | * Algorithms (CS-250) | ||
+ | * Theoretical Computer Science (CS-251) | ||
+ | * **[[compilation:top|Compiler Construction]]** | ||
+ | * Advanced Theoretical Computer Science | ||
+ | |||
+ | The following master's courses are recommended and synergistic with this course: | ||
+ | * Advanced Compiler Construction (CS-420) | ||
+ | * **Foundations of Software** (CS-452) | ||
+ | * **Model Checking** (CS-552) | ||
+ | * Mathematical Logic II | ||
+ | * Advanced Computer Networks and Distributes Systems (CS-520) | ||
+ | * Principles of Dependable Systems (CS-521) | ||
+ | * Applications for Convex Optimization and Linear Programming (CS-453) | ||
+ | |||
+ | You can verify the content of these courses from the study program available online at [[http://ic.epfl.ch|school web site]] | ||
=== Topics === | === Topics === |