teaching
Materials for courses I tutored.
See my notes on other courses here, including Linear Algebra, Calculus, Probability, Machine Learning, and Natural Language Processing.
Formal Analysis
Minerva University - FA50 + FA51 (Fall 2022 - Spring 2024)
The topics covered in this course include:
- Introductory Programming in Python
- Logic and Proof, using DeLancey (2017), A Concise Introduction to Logic
- Introduction to Probability & Statistics, using Diez, Çetinkaya-Rundel, Barr (2022), OpenIntro Statistics
- Introduction to algorithms, optimization and simulation