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/03/11 23:02] vkuncak |
sav08:general_information [2008/10/11 18:57] 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 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 | ||
+ | |||
+ | 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 26: | Line 37: | ||
[[Calculus of Computation Textbook]] and the corresponding [[PiVC tool]] are the closest in spirit to our class. | [[Calculus of Computation Textbook]] and the corresponding [[PiVC tool]] are the closest in spirit to our class. | ||
- | [[:Gallier Logic Book]] is a good theoretical foundation (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. | + | {{sav08:nielsonnielsonsemantics.pdf|Nielson, Nielson: Semantics with Applications, A Formal Introduction}} introduces semantics and its application in analysis. Recommended reading. |
+ | |||
+ | [[: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. | ||
- | An Introduction to [[Mathematical Logic and Type Theory]] Textbook contains a lot of relevant and important theorems. | + | An Introduction to [[Mathematical Logic and Type Theory]] Textbook contains a lot of relevant and important theorems, including the compactness theorems. |
[[Logic for Mathematics and Computer Science Textbook]] has a very good treatment of equality in logic. | [[Logic for Mathematics and Computer Science Textbook]] has a very good treatment of equality in logic. |