Lecture Notes

• Logic in Computer Science (LMU, 2021/22, in English)
  
• Logic (LMU, 2020/21, in English)
  
• Logic (LMU, 2017/18, in English)
  
• Martin-Löf Type Theory and Univalent Type Theory(University of Bern, 2017, in English)
  
• Introduction to Homotopy Type TheoryPart 1 Part 2 Part 3 Part 4 Part 5 Part 6(Scanned handwritten notes, University of Verona, 2017, in English)
  
• Introduction to Topos TheoryPart 1 Part 2 Part 3 (Scanned handwritten notes, University of Verona, 2017, in English)
  
• Ordinary Differential Equations(LMU, 2018, in English)
  
• Mathematics for Physicists II(LMU, 2019, in English)
  
• Mathematics for Natural Scientists II(LMU,2021, in German)
  
• Mathematics for Natural Scientists II(LMU,2019, in English)
  
• Mathematics for Natural Scientists I(LMU, 2020/21, in German)
  
• Mathematics for Natural Scientists I(LMU, 2019/20, in English)
  
• Mathematical and Statistical Methods for Pharmacists(LMU, 2020 and 2020/21, in German)
  

---

Back to my webpage

Last modified: 10.02.2022