formal proof

例句 (10)

• The textbook provides a formal proof for the Pythagorean theorem.教科书提供了勾股定理的形式证明。
• Students are required to write a formal proof using logical deductions.学生被要求使用逻辑推导编写形式证明。
• Euclid's Elements is famous for its rigorous and formal proofs.欧几里得的《几何原本》以其严密且形式化的证明而闻名。
• In computer science, a formal proof can verify that a program is correct.在计算机科学中，形式证明可以验证程序的正确性。
• The mathematician presented a formal proof of the conjecture at the conference.数学家在会议上展示了该猜想的形式证明。
• Without a formal proof, the theory remains just a hypothesis.没有形式证明，该理论仍然只是一个假设。
• It is difficult to construct a formal proof for such a complex theorem.为这样一个复杂的定理构建形式证明是很困难的。
• The professor explained the steps involved in a formal proof.教授解释了形式证明所涉及的步骤。
• A formal proof must follow strict rules of logic.形式证明必须遵循严格的逻辑规则。
• We need to find a formal proof to satisfy the peer reviewers.我们需要找到一个形式证明来满足同行评审。