@@ -21,11 +21,14 @@ The course comprises two hours a week for seven weeks.
#### General Information
Time: Wednesdays: 9am - 11am (Tutorial from 10am)
Thursdays: 12 - 1pm
Coursework Schedule: Coursework 1: published 4th Nov / deadline 20th Nov 2pm
Coursework 2: published 2nd Dec / deadline 14th Dec 2pm
Tutorials: Tutorial exercises will be posted online before the tutorial each week, printed copies will also be available.
Tutorial solutions will be published here before the next week's tutorial.
Tutorials: Tutorial exercises will be posted online before the tutorial each week, printed copies will also be available. Tutorial solutions will be published here before the next week's tutorial.
Recommended Reading:
H.R. Nielson and F. Nielson (1999). Semantics with Applications: A Formal Introduction, originally published in 1992 by John Wiley and Sons.
...
...
@@ -53,7 +56,7 @@ T.A. Sudkamp (1995). Languages and Machines, 2nd edition, Addison-Wesley.
Other Recommendations: [Logicomix](http://www.logicomix.com/en/): the graphic novel Logicomix was inspired by the epic story of the quest for the Foundations of Mathematics...
http://www.logicomix.com/en/
[Turing](http://www.amazon.com/Turing-Novel-Computation-Christos-Papadimitriou/dp/0262162180)(A Novel about Computation), Christos Papadimitriou, Berkeley.
[Turing](http://www.amazon.com/Turing-Novel-Computation-Christos-Papadimitriou/dp/0262162180)(A Novel about Computation), Christos Papadimitriou, Berkeley.
