Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision | ||
|
sav08:general_information [2008/10/11 18:57] vkuncak |
sav08:general_information [2009/02/16 14:16] vkuncak |
||
|---|---|---|---|
| Line 15: | Line 15: | ||
| === Prerequisites === | === Prerequisites === | ||
| - | The material from the following EPFL courses is a prerequisites for this course: | + | The material from the following bachelor EPFL courses is a prerequisites for this course: |
| * Discrete structures (CS-150) | * Discrete structures (CS-150) | ||
| * Algorithms (CS-250) | * Algorithms (CS-250) | ||
| * Theoretical Computer Science (CS-251) | * Theoretical Computer Science (CS-251) | ||
| - | * [[compilation:top|Compiler Construction]] | + | * **[[compilation:top|Compiler Construction]]** |
| * Advanced Theoretical Computer Science | * Advanced Theoretical Computer Science | ||
| - | You can verify the content of these courses from the study program available online at [[http://ic.epfl.ch|school web site]]. | + | 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 === | ||
| Line 38: | Line 47: | ||
| {{sav08:nielsonnielsonsemantics.pdf|Nielson, Nielson: Semantics with Applications, A Formal Introduction}} introduces semantics and its application in analysis. Recommended reading. | {{sav08:nielsonnielsonsemantics.pdf|Nielson, Nielson: Semantics with Applications, A Formal Introduction}} introduces semantics and its application in analysis. Recommended reading. | ||
| + | * [[http://www2.imm.dtu.dk/~riis/PPA/ppasup2004.html|the web site]] with | ||
| + | * excellent slides | ||
| + | * automated generator for program analyzers | ||
| [[:Gallier Logic Book]] is a good theoretical foundation of logic (available online), some of whose sections will be useful. More discrete math online is in [[http://www.cis.upenn.edu/~jean/gbooks/discmath.html|Gallier Discrete Math Book]] Draft. | [[:Gallier Logic Book]] is a good theoretical foundation of logic (available online), some of whose sections will be useful. More discrete math online is in [[http://www.cis.upenn.edu/~jean/gbooks/discmath.html|Gallier Discrete Math Book]] Draft. | ||