Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | Next revision Both sides next revision | ||
|
sav08:general_information [2008/03/11 23:02] vkuncak |
sav08:general_information [2008/08/24 10:13] vkuncak |
||
|---|---|---|---|
| Line 26: | Line 26: | ||
| [[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. |
| - | An Introduction to [[Mathematical Logic and Type Theory]] Textbook contains a lot of relevant and important theorems. | + | [[: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, 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. | ||