formal proof
formaler Beweis
Häufigkeit: 6.04.5 pro Million Wörter
A proof in logic or mathematics with a precise, step-by-step structure.
Ein Beweis in der Logik oder Mathematik mit einer präzisen, schrittweisen Struktur.
Kategorien:
Beispiele (10)
formal proof = formaler Beweis (Ein Beweis in der Logik oder Mathematik mit einer präzisen, schrittweisen Struktur.)
- The textbook provides a formal proof for the Pythagorean theorem.Das Lehrbuch liefert einen formalen Beweis für den Satz des Pythagoras.
- Students are required to write a formal proof using logical deductions.Von den Studenten wird verlangt, einen formalen Beweis mit logischen Ableitungen zu verfassen.
- Euclid's Elements is famous for its rigorous and formal proofs.Euklids Elemente sind berühmt für ihre strengen und formalen Beweise.
- In computer science, a formal proof can verify that a program is correct.In der Informatik kann ein formaler Beweis die Korrektheit eines Programms verifizieren.
- The mathematician presented a formal proof of the conjecture at the conference.Der Mathematiker präsentierte auf der Konferenz einen formalen Beweis der Vermutung.
- Without a formal proof, the theory remains just a hypothesis.Ohne einen formalen Beweis bleibt die Theorie nur eine Hypothese.
- It is difficult to construct a formal proof for such a complex theorem.Es ist schwierig, einen formalen Beweis für ein so komplexes Theorem zu konstruieren.
- The professor explained the steps involved in a formal proof.Der Professor erklärte die Schritte, die für einen formalen Beweis erforderlich sind.
- A formal proof must follow strict rules of logic.Ein formaler Beweis muss strengen logischen Regeln folgen.
- We need to find a formal proof to satisfy the peer reviewers.Wir müssen einen formalen Beweis finden, um die Fachgutachter zufrieden zu stellen.