Logo Universidade da 
Madeira
  Home  | Short biography  |  Research interests |  Publications  | Teaching

Teaching

Last Revised: June 2001

Courses in recent years:

  • Computability theory
  • Logic and algebraic foundations of programming
  • Introduction to mathematical logic
  • Introduction to programming (using the Mathematica programming language)