Teaching

Olga Tveretina

Textbooks:

  • Carol Critchlow and David Eck, Foundations of Computation >>>
  • Ted Sundstrom, Mathematical Reasoning: Writing and Proof >>>
  • P. D. Magnus, Forallx: An Introduction to Formal Logic >>>
  • Michael Genesereth and Eric Kao, Introduction to Logic >>>

2015/2016

  • Models and Methods in Computing - 4COM1040
  • Algorithms and Data Structures - 5COM1054
  • Professional Issues in Computing - 6COM0280

 

2014/2015

  • Models and Methods in Computing - 4COM1040
  • Systems Modelling - 7COM1014

 

2013/2014

  • Foundations of Computation
  • Systems Modelling - 7COM1014