Tutoring
During my graduation, I was a junior teach assistant (we call it ‘monitor’ in Brazil) for one year, supervised by Lucília Figueiredo, and also a tutor for half a year, supervised by Dayanne Coelho. Both roles was to give support in the teaching of Mathematical Logic (Discrete Mathematics) for Computer Science students in my university. Below you can find some of the material I developed for this, but everything is in portuguese. If you do speak portuguese and want the answers of some questions, or if the PDF format is a barrier for you, please contact me.
- Regras para Dedução Natural e Álgebra Booleana — PDF
- Exercícios de Lógica Proposicional, Lógica de Predicados e Dedução Natural — PDF
- Exercícios de Álgebra Booleana — PDF
- Lista com 100 exercícios de Dedução Natural — PDF
- Exercícios de Prova Direta e Prova por Contraexemplo — PDF
- Exercícios de Prova por Contraposição — PDF
- Exercícios de Prova por Contradição, Existência e Unicidade — PDF
- Exercícios de Prova de bicondicionais e Teoria de Conjuntos — PDF
- Exercícios de Indução Matemática — PDF
- Exercícios de Recursão — PDF