Back

Notes

I have collaborated in preparing didactic materials for some courses.

• Semantics of Programming Languages (in Spanish)
  Notes for the course Teoría de la Programación at the Faculty of Mathematics of the Complutense University of Madrid, Spring 2021
  Contents: operational and denotational semantics for programming languages, axiomatic presentations and abstract machines
  Pdf


• Mathematical Logic (in Spanish)
  Notes for the course Lógica Matemática at the Faculty of Mathematics of the Complutense University of Madrid, Spring 2020
  Contents: propositional and first-order logic, tableaux, natural deduction, basic model theory
  Pdf