Técnicas de DemnstraçãoProf Milton Borba

3ª fase da Licenciatura em Matemática

Plano de Ensino

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)

 

6.       Regras de Inferência.

7.       Introdução a Demonstrações.

8.       Demonstrações Diretas.

9.       Demonstrações por contraposição

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

11.       Demonstrações Exaustão e por casos.

Prova 2 ==> 14 / maio

 

12.       Existência.

13.       Unicidade.

14.       Indução Finita.

Prova 3 ==> 2 / julho