CIN01322026.2 · Sistemas de Informação
Matemática Discreta para Computação
Sets, relations, logic, proof techniques, counting, recurrences, graphs and trees.
Classes and materials in Portuguese. Classroom for enrolled students.
CIn / UFPE · Information Systems
Teaching
Current courses, public study materials and previous course editions. Classes and course materials are in Portuguese.
Current courses · 2026.2
CIN01382026.2 · Sistemas de Informação
Álgebra Vetorial e Linear para Computação
Linear systems, matrices, vector spaces, transformations, orthogonality, determinants and eigenvalues.
Classes and materials in Portuguese. Classroom for enrolled students.
Both courses combine exercises, short assessments and a course project, with support from teaching assistants.
Study resources
Matemática Discreta para Computação
Public reading materials and videos for logic, mathematical reasoning and discrete structures.
Abrir material digitalRecorded explanations
Pre-calculus, calculus and mathematical proof, with original references and corrections.
Videos & playlistsPrincípios Matemáticos para Computação
An extension course revisiting the mathematical foundations used at the beginning of a computing degree.
Course background & editionsPoint-location demonstration
Explore the six strategies presented by Pedro Machado Manhães de Castro and Olivier Devillers at SoCG 2011.
Previous course editions
- Matemática Discreta2021.1 · Historical course site
- Cálculo I2021.1 · Historical course site
- Matemática Discreta2020.2 · taught in 2021 · Historical course site
- Cálculo I2020.2 · taught in 2021 · Historical course site
- Cálculo I2020.1 · taught in 2021 · Historical course site
- Cálculo I · semestre suplementar2020.3 · taught in 2020 · Historical course site
First fully remote course · 2020.3 (2020)
The academic term labels differ from the calendar years. The 2020.1 Calculus course, taught in 2021, built on the experience of the supplementary 2020.3 course, taught in 2020.
This was the first time our classes were given entirely remotely. A very exciting challenge, though rewarding as we could see some improvements in the way students were tackling average problems or making a fit in their schedule to master 21 century skills like video editing and more. Our strategy was to let students choose what they like the most amongst several different activities (including interactive problems using Desmos, traditional list of problems, challenges, and much more). We have (public) videos on youtube for each lecture, with a mind map for the lecture and for the topics, with a small set of guide questions for each leaf in the mind map so the student can identify if he or she has obtained the skill, and a live stream each week where we propose several challenging questions and solve them with the students. The recorded playlists remain available: Pré-Cálculo and Cálculo I.