Resultados da pesquisa a pedido "proof"
Não posso provar (n - 0) = n com Idris
Estou tentando provar que, na minha opinião, é um teorema razoável: theorem1 : (n : Nat) -> (m : Nat) -> (n + (m - n)) = mA prova por indução chega ao ponto em que eu preciso provar isso: lemma1 : (n : Nat) -> (n - 0) = nÉ o que acontece quando ...
Como provar que a instrução C -x, ~ x + 1 e ~ (x-1) produz os mesmos resultados?
Quero conhecer a lógica por trás dessa afirmação, a prova. A expressão C -x, ~ x + 1 e ~ (x-1) produzem os mesmos resultados para qualquer x. Eu posso mostrar que isso é verdade para exemplos específicos. Eu acho que a maneira de provar isso tem ...
Por que os programas não podem ser comprovados?
Por que um programa de computador não pode ser provado da mesma maneira que uma afirmação matemática? Uma prova matemática é construída sobre outras provas, que são construídas a partir de mais provas e até axiomas - essas verdades, verdades que ...
Página 2 do 2