Técnicas de DemnstraçãoProf Milton Borba

3ª fase da Licenciatura em Matemática

Plano de Ensino

1.     Lógica Proposicional. Exercícios

2.     Equivalências Lógicas.

3.     Predicado.

4.     Quantificadores.

5.     Quantificadores Agrupados.

Prova 1 ==> 26 / março

 

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