Técnicas de Demonstração

Uma introdução às técnicas de demonstração comumente usadas.

Apresentação

As apresentações utilizadas na disciplina podem ser encontradas abaixo:

• Introdução às Técnicas de Demonstração
• Indução Matemática

Exercícios

Exercícios de lógica de predicados podem ser encontrados nos livros textos da bibliografia da disciplina.

Competências

Ao final dessa etapa sobre técnicas de demonstrações você deve ter competências para:

• Ler uma demonstração e perceber erros óbvios.
• Ser capaz de aplicar as técnicas de demonstração para refutar ou mostrar uma hipótese.
• Entender as diferenças entres as técnicas de demonstração.
• Entender as diferença entre uma prova formal e uma prova informal.
• Aplicar corretamente o princípio da indução matemática.