- B. A. Davey and H. A. Priestley, Introduction to
Lattices and Orders, Second edition, Cambridge University Press,
2001
- L. Libkin, Elements of Finite Model Theory, Springer, 2004
- D. Kroening and O. Strichman, Decision Procedures:
An Algorithmic Point of Viewd , Springer, 2008
- Peter B. Andrews, An Introduction to Mathematical Logic
and Type Theory: To Truth Through Proof, 2nd edition, Springer, 2002
- Herbert B. Enderton , A Mathematical Introduction to Logic,
Second Edition, Academic Press, 2001
- B. C. Pierce, Types and Programming Languages , The MIT
Press, 2002
- Introduction to Type Theory in The Nuprl Book , Cornell
University, 1995
(http://www.cs.cornell.edu/Info/Projects/NuPrl/book/doc.html)
- E. Gradel, W. Thomas, T. Wilke, Automata, Logic
and Infinite Games: A Guide to Current Research , Springer, 2002
- D. Perrin, J.E. Pin, Infinite Words: Automata, Semigroups,
Logic and Games , Elsevier, 2004
- J.C.M. Baeten and W.P. Wiejland, Process Algebra ,
Cambridge Tracts in Theoretical Computer Science, Cambridge University
Press, 1990
Current Reading List
Order and Lattices:
- Chapters 1, 2 and 4 of B. A. Davey and H. A. Priestley,
Introduction to Lattices and Orders, Second edition,
Cambridge University Press, 2001
Lecture Schedule
| Date | Topics details |
|---|
| Jan 9 | Introduction, logistics. (Partial) orders:
definitions, examples, chains, anti-chains,
combining orders on smaller sets to obtain
orders on larger sets, notions of minimal
and maximal elements. |
| Jan 13 | Review of topics covered in last class,
more on combining orders, constructing
Hasse diagrams and reasoning about
orders graphically. |
|