formal proof
prova formal
Frequência: 6.04.5 por milhão de palavras
A proof in logic or mathematics with a precise, step-by-step structure.
Uma prova em lógica ou matemática com uma estrutura precisa e passo a passo.
Categorias:
Exemplos (10)
formal proof = prova formal (Uma prova em lógica ou matemática com uma estrutura precisa e passo a passo.)
- The textbook provides a formal proof for the Pythagorean theorem.O livro didático fornece uma prova formal para o teorema de Pitágoras.
- Students are required to write a formal proof using logical deductions.Os alunos devem escrever uma prova formal usando deduções lógicas.
- Euclid's Elements is famous for its rigorous and formal proofs.Os Elementos de Euclides são famosos por suas provas formais e rigorosas.
- In computer science, a formal proof can verify that a program is correct.Na ciência da computação, uma prova formal pode verificar se um programa está correto.
- The mathematician presented a formal proof of the conjecture at the conference.O matemático apresentou uma prova formal da conjectura na conferência.
- Without a formal proof, the theory remains just a hypothesis.Sem uma prova formal, a teoria permanece apenas uma hipótese.
- It is difficult to construct a formal proof for such a complex theorem.É difícil construir uma prova formal para um teorema tão complexo.
- The professor explained the steps involved in a formal proof.O professor explicou as etapas envolvidas em uma prova formal.
- A formal proof must follow strict rules of logic.Uma prova formal deve seguir regras rígidas de lógica.
- We need to find a formal proof to satisfy the peer reviewers.Precisamos encontrar uma prova formal para satisfazer os revisores.