|
|
Ideas do not have to be correct in order to be good;
it's only necessary that, if they do fail,
they do so in an interesting way.
(Robert Rosen, 1934-1988.)
Here you can find preprints of my papers, and here should be a reasonably updated version of my CV.
Here you can find my MSc Thesis and here is my PhD Thesis.
I currently act as a supervisor both at the Graduate Studies in Systems and Computing (research area: Theoretical Computer Science) of UFRN and the Graduate Program in Philosophy of UFRN (concentration area: Logic and Formal Philosophy). I also coordinate the CNPq research group on Theory and Computational Intelligence.
Be sure to check also my MAIN research page.
Master is not he who always teaches, but he who all of a sudden learns.
(says Riobaldo Tatarana, in João Guimarães Rosa's "The Devil to Pay in the Backlands", 1956.)
Semester 2009.1:
DIM0430 (T01 e T02) Lógica Aplicada à Computação [shared with R.H.N. Santiago]
Material and summaries of classes:
35M34 (3F5) e 35M56 (3H2).
DIM0809 Lógica (Graduate Studies in Systems and Computing) [shared with R.H.N. Santiago]
DIM0809 Lógica I (Graduate Studies in Philosophy, concentration area on Logic and Formal Philosophy) [shared with D.D.P. Alves]
Semester 2008.2:
DIM0430 Lógica Aplicada à Computação
Material and summaries of classes:
35M56 (3G4).
DIM0095 Sistemas de Reescrita [shared with M.A. Musicante / A. Santana]
DIM0415 Lógicas Não-Clássicas [shared with R.H.N. Santiago]
DIM0430 Lógica Aplicada à Computação
Material and summaries of classes:
24T34 (3G4).
DIM0809 Lógica (Graduate Studies in Systems and Computing)
DIM0430 Lógica Aplicada à Computação
Material and summaries of classes:
35M12 (3A2).
Here is the MAIN link to the material.
DIM0095 Programação Funcional [shared with M.V.M. Oliveira]
DIM0050 & DIM0430 Lógica Aplicada à Computação
Material and summaries of classes:
35T34 (3A2); 46T12 (3C3).
Here is the MAIN link to the material.
Lógica (Master's) [shared with B.R.C. Bedregal and R.H.N. Santiago]
Semester 2006.2:
DIM0046 Algoritmos e Técnicas de Programação (3E3)
Material and summaries of classes:
35T34.
DIM0050 Lógica Aplicada à Computação (3E3)
Material and summaries of classes:
46T12.
DIM0099 Lógica Computacional: demonstração assistida e semi-automática de teoremas (3D5)
Material and summaries of classes:
46M34.
Semester 2006.1:
DIM0050 Lógica Aplicada à Computação (3E2)
Material and summaries of classes:
24T34.
DIM0301 Laboratório de Linguagem de Programação (LCC)
Material and summaries of classes:
2M56 and 4M56.
As I told earlier, I never repeat anything.
