Teaching and Lecture Notes

Below is a collection of my lecture notes for the courses I delivered here and there.

At Middlesex I teach first-year discrete mathematics, sometimes a block of Logic in Computer Science. I also manage final-year projects and lecture on how to carry out projects. I keep all my teaching materials on Middlesex's My Learning pages for students.

2016

"Paraconsistency and Games", April 2016. CLE, University of Campinas, Campinas - Brasil.  slides

2010

"A Quick Introduction to Dynamic Logic", July 2010. Istanbul International Graduate Summer School in Modal Logic and Its Applications, Istanbul Kultur University, Istanbul - Turkey.  lecture notes

2009

"A Mathematical Introduction to Modal Logic", July 2009. Turkish Mathematical Society Summer School, Nesin Mathematics Village, Şirince - Turkey.  lecture notes