Carlos Martínez Quintero

Handouts (typeset on LaTeX)

1. Automata and Grammars, lecture notes for the class on automata theory I gave at MBL 2024.
2. Introduction to Logic, lecture notes for the class on propositional/predicate logic I gave at MBL Balkans 2025.
3. Formalizing Mathematics in Lean, lecture notes for the class given jointly with R. Plümer at MBL 2025; the lecture notes concern themselves mostly with the theoretical aspects of dependent type theory.

Problem Sets / Handouts for Weekly Tutoring (typeset on Typst)

1. Recurrent Problems: Some problems taken from Knuth's Concrete Mathematics.
2. Solving Recurrences: On a method that allows you to solve some recurrences if you get lucky.
3. Approximating Sums: On a method that approximates the asymptotics of infinite series using integrals.
4. Finite Calculus: On a discrete analogue for calculus that helps to find a closed form to some sums and recurrences.
5. Euclid's Algorithm and Divisibility: On Euclid's algorithm and its theoretical importance to study divisibility in number theory.
6. Multiplicative Structure of the Integers: On the canonical representation of an integer and the usefulness of p-adic valuations.