Técnicas de Demnstração – Prof. Milton Borba

3ª fase da Licenciatura em Matemática

Plano de Ensino / Diário com Médias SEMESTRAIS

1.       Lógica Proposicional. Exercícios

2.       Predicado.

3.       Equivalências Lógicas.

4.       Quantificadores.

5.       Quantificadores Agrupados. Exercícios (algumas explicações a mais)

Prova 1 ==> 26 / março             Prova SIMULADA – Resolução (frenteverso)

Comentários: resoluções da Prova Simulada

Primeira Prova (Google Sala de Aula) ==> 04 / maio > Gabarito

 

6.       Regras de Inferência.

7.       Introdução a Demonstrações: Resumo - Exercícios

8.       Demonstrações Diretas.

9.       Demonstrações por contraposição

10.       Demonstrações por contradição (redução ao absurdo) - Resumo

11.       Indução Finita.

Trabalho ==> até 30 / junho

Prova Simulada

Prova 2 ==> 10 a 16 de julho - Gabarito

Exame Final ==> 31/8 a 2/9 – Google Sala de Aulas