Please enable JavaScript.
Coggle requires JavaScript to display documents.
Fundamentos Matemáticos para Computação - Coggle Diagram
Fundamentos Matemáticos para Computação
Terminologias
Teorema
É uma afirmação declarativa sobre matemática, para qual existe uma prova ou demostração
Proposição
É um teorema de importância secundária
Lema
É um teorema cujo objetivo é ajudar a provar um teorema mais importante
Corolário
É um teorema que pode ser estabelecido de outro teorema previamente já provado
Conjectura
É uma sentença que inicialmente é proposta como verdadeira
Prova ou Demostração
É uma argumentação que mostra, de modo indiscutível, que uma afirmação é verdadeira
Tipos
Demonstração direta
Demostração por contraposição
Demostração por contradição ou absurdo
Sentenças utilizadas
Axiomas
Premissas do teorema
Teorema previamente provados
Demonstrações
Vacuidade
Trivialização
Direta
Contraposição
Contradição ou absurdo
A se somente se B
Contra exemplo