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