Classes taught my members of the group include:

  • Computational intelligence and theory
  • Foundations of calculus
  • Foundations of computation
  • Theory of computation
  • Mathematical computation
  • Algebraic logic
  • Linear algebra
  • Proof theory
  • Non-classical logics
  • Fuzzy logics
  • Philosophical logic

Some of the teaching tools used in these classes are listed under Resources. For information on the teaching responsibilities of each member, check the UFRN institutional profile in the Members page.