Alexandre Madeira
Associate Professor — Mathematics Department, University of Aveiro
Courses
Computational Logic (20/21, 23/24-25/26) (coordinator) - , Departamento de Matemática da Universidade de Aveiro
Software Foundations (2025/26) (coordinator)- curricular year of the doctoral program, Foundations of Computing block MAP-i Universities of Minho, Aveiro and Porto
Elements of Logic (23/24,24/25) (coordinator) - , Departamento de Matemática da Universidade de Aveiro
Analysis and Development of Algorithms (22/23 - 24/25) (coordinator) - , Departamento de Matemática da Universidade de Aveiro
Numerical Methods 23/24 - 24/25 (coordinated by Jorge Neves) - , Departamento de Matemática da Universidade de Aveiro
Logic and Quantum Algorithms 22/23 - 24/25 (coordinated by António Pereira) - , Departamento de Matemática da Universidade de Aveiro
Discrete Mathematics (21/22, 23/24 and 25/26) (coordinated by Dirk Hofmann/Jorge Neves) - , Departamento de Matemática da Universidade de Aveiro
Theory of Computation (21/22) (coordinator) - , Departamento de Matemática da Universidade de Aveiro
Numerical Methods And Statistics (2019-22, 25/26) (coordinated by Pedro Macedo/Agostinho Agra/João Pedro Cruz) - , Departamento de Matemática da Universidade de Aveiro
Calculus II (2019/20) (coordinated by Uwe Kahler) - , Departamento de Matemática da Universidade de Aveiro
Quantum Computing (2018/19) (coordinator)- curricular year of the doctoral program MAP-i Universities of Minho, Aveiro and Porto
Cálculo de Programas (2018/19) (coordinated by José N. Oliveira) - 3rd year of Licenciatura em Ciências da Computação , Departamento de Informática da Universidade do Minho
Quantum Computing (2018/19)- curricular year of the doctoral program MAP-i Universities of Minho, Aveiro and Porto,
Lógica Computacional (2017/18, 2018/19) (coordinated by José E. Valença) - 3rd year of Licenciatura em Ciências da Computação , Departamento de Informática da Universidade do Minho
Interacção e Concorrência (2015/16, 2016/17) (coordinator)- 3rd year of Licenciatura em Ciências da Computação , Departamento de Informática da Universidade do Minho
Algebraic and Coalgebraic Models in Software Development (2016/17)- curricular year of the doctoral program MAP-i Universities of Minho, Aveiro and Porto,
Algebraic and Coalgebraic Models in in Software Development (2015/16)- curricular year of the doctoral program MAP-i Universities of Minho, Aveiro and Porto, with the module - A generic approach to Modal Logic
Some teaching material
A brief overview in Dynamic Logics slides prepared to a module of the course "Software Foundations" at doctoral program MAP-i
Introduction to Logic slides prepared to the edition 2024/25 of the course "Elementos de Lógica" at DMat. Includes a block in set theory , Propositional Logic and First Order Logic
Introduction to Modal Logic slides prepared to the edition 2024/25 of the course "Lógica Computacional" at DMat. It includes a block in presentation of the course , preliminairs , base notion in Modal Logic , Multi-Modal Logic and proof systems for Modal Logic
Formal verification of programs slides prepared to the edition 2024/25 of the course "Análise e desenvolvimento de algoritmos" at DMat. Includes a block in preliminaires , semantics of programming languages and programs verification