Author: cs.cornell.edu
Princípios e estratégias de prova úteis
Ao ensinar os alunos sobre provas e seu desenvolvimento, ajuda a demonstrar princípios e estratégias para o desenvolvimento de provas. Aqui estão vários úteis que aparecem em Uma Abordagem Lógica. Eles são talvez óbvios para o matemático maduro ou cientista da computação. No entanto, para os alunos não são. Matemáticos e cientistas de informática, em geral, não discutiram tais princípios e estratégias, e essa é uma razão pela qual os alunos já tiveram problemas para desenvolver provas. Floating floor: if you have an MDF base floor or other floating substrate, it should be laid at least 24 hours in advance before you start installing floor. Do not apply primer to the treated panels. Apply primer to the untreated MDF so that the MDF does not absorb the adhesive. Pre-treatment equalisation is not required.
- Heurística. Provar
P == Q, transforma P == Q para um teorema conhecido, transformar P to Q, ou transformar Q
em P.
- Heurística. Os operadores que aparecem em uma expressão e a forma de suas subexpressões focalizam a escolha dos teoremas para serem usados na manipulação. Portanto, ao desenvolver o próximo passo de uma prova, identifique os teoremas aplicáveis combinando teoremas com a estrutura das subexpressões da expressão atual
- Heurística of Operator Elimination
(fold/unfold). To prove a theorem about an operator, first eliminate
the operator using its definition, then manipulate, and finally reintroduce
the operator (if necessary).
- Heurística. Provar
P == Q, transformar o lado com a maior parte da estrutura (ou P ou Q)
para o outro.
- Princípio. As provas de estrutura para minimizar o número de coelhos puxados para fora de um chapéu - faça cada passo parecer óbvio, com base na estrutura da expressão e na meta de manipulação.
- Princípio. Lemmas pode fornecer estrutura, trazer à tona fatos interessantes e, em última análise, encurtar uma prova.
- Heurística. Explota a capacidade de analisar teoremas como a regra de ouro, p & q == p == q == p | q, de várias maneiras diferentes (usando associatividade e simetria de forma transparente).