Teaching

Courses

I am teaching the following courses at Zhejiang University:

  • Foundations of mathematical logic (0421202001)
    Introduction to elementary set theory, formal propositional languages and grammars, truth tables, natural deduction, proof normalization, formal first-order languages and grammars, first-order semantics, soundness and completeness, compactness and Löwenheim-Skolem, quantifier elimination, prenex normal forms, Herbrand's theorem, the theory of recursive functions, Peano arithmetic, and Gödel’s incompleteness results.
    Graduate-level course, Spring/Summer term, Philosophy, 48 hours, 16 weeks

  • Philosophical Logic
    Philosophical introduction to the basic concepts of logic and non-classical logic
    Undergraduate-level course, Winter
    term, Philosophy, 32 hours, 12 weeks

  • LaTeX in academic writing
    Introduction to the basics of LaTeX such as setting up LaTeX documents, typesetting mathematical equations, using LaTeX packages and more.
    Graduate-level course, Fall term, Philosophy, 32 hours, 12 weeks