Home Publications Training Teaching Bookmarks



First semester

* Cálculo I (Graduate course)
* Algebraic and Coalgebraic Models in Software Development - Module in Algebraic Specification - MAP-i - Doctoral programme in Computer Science.
* Advanced Topics in Algebra, Logic and Computation - Module in Algebraic Logic - MAP-PDMA - Doctoral programme in Applied Mathematics.

Second semester

* Elements of Logic (Graduate course)
* Computational Logic (Master course)