Ulrich Berger

CS_375/CS_M75 Logic for Computer Science

Fall 2011

• Lectures: Tuesday 13-14, and Thursday 12-13, Robert Recorde Room, Faraday Building.
  Occasionally, there will be an extra lecture on Friday 9-10 in the Glyndwr Building, Room M.
  
  Lecture Schedule 21 November - 2 December 2011:
  Thu Nov 24, Fri Nov 25, Tue Nov 29, Thu Dec 1, Fri Dec 2
  No lecture on Tue Nov 22
  
  
• Course notes
• Coursework: 1 (solution)
• 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.
  • 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



---