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.نحتاج إلى إيجاد برهان رسمي لإرضاء المراجعين الأقران.