Teaching
Courses
I am teaching the following courses regularly at Zhejiang University:
Foundations of mathematical logic (0421202001)
Introduction to propositional and first-order logic, their semantics and proof systems, completeness and other metatheoretical results.
Spring and Summer, 48 hours, 16 weeks, graduate coursePhilosophical Logic
Introduction to the basic concepts of classical and non-classical logic with emphasis on their motivation through a study of applications in philosophy.
Winter, 32 hours, 12 weeks, undergraduate courseLaTeX in academic writing
Introduction to the basics of LaTeX such as setting up LaTeX documents, typesetting mathematical equations, using LaTeX packages and more.
Fall, 32 hours, 12 weeks, graduate course
I am no longer maintaining pages of older courses.