|
|
2017-18 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) |
|