Sumários
Principio de indução e números reais
17 Setembro 2026, 13:00 • PEDRO TIAGO DA COSTA SOARES
Principio de indução e variantes.
Relação de ordem sobre os números reais.
Exercícios: Quantificadores e principio de indução
Elementos de teoria de conjuntos
15 Setembro 2026, 13:00 • PEDRO TIAGO DA COSTA SOARES
Exercícios: algebra proposicional.
Teoria de conjuntos: Operações sobre conjuntos e propriedades.
Algebra Proposicional
10 Setembro 2026, 13:00 • PEDRO TIAGO DA COSTA SOARES
Propriedades das operações sobre proposições.
Variaveis e quantificadores
Apresentação e Logica Proposicional
8 Setembro 2026, 13:00 • PEDRO TIAGO DA COSTA SOARES
Apresentação da unidade curricular.
Proposições e operações sobre proposições