Ulrich Berger

CS_375/CS_M75 Logic for Computer Science

Fall 2013

• Lectures: Monday 13-14 and Thursday 12-13, Robert Recorde Room
• Course notes
• Coursework 1 (due 24 October 2013)
• Proof editor
• Recommended Literature:
  
  • D van Dalen, Logic and Structure, 3rd edition, Springer, 1994.
  • J H Gallier, Logic for Computer Science, John Wiley and Sons, 1987.
  • Handbook of Logic in Computer Science, Vol. 1-6, S Abramsky, D M Gabbay, T S E Maibaum, eds, OUP, 1994.
  • J R Shoenfield, Mathematical Logic, Addison-Wesley, 1967.
  • D B Plummer, J Barwise, J Etchemendy, Tarski's World, CSLI Lecture Notes, 2008.
  • U Schoening, Logic for Computer Science, Birkhäuser, 1989.
  • A S Troelstra, D van Dalen, Constructivism in Mathematics, Vol. I, North-Holland, 1988.
  • D Velleman, How to Prove It, 2nd edition, CUP, 1994.
  • U B, Programming with Abstract Data Types, Lecture Notes, Swansea University, 2009.
  
  Back to my homepage



---