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.동료 검토자들을 만족시키기 위해 형식적 증명을 찾아야 합니다.