Differences

This shows you the differences between two versions of the page.

--- sav08:general_information [2008/03/11 23:01]
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.
-[[: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.
-[[Logic for Mathematics and Computer Science]] Textbook has very good treatment of equational logic.
+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.
 [[:sav07_resource|Some online resources]] for the class.