أدخل كلمة أو عبارة بأي لغة 👆
اللغة:
ترجمة وتحليل الكلمات عن طريق الذكاء الاصطناعي ChatGPT
في هذه الصفحة يمكنك الحصول على تحليل مفصل لكلمة أو عبارة باستخدام أفضل تقنيات الذكاء الاصطناعي المتوفرة اليوم:
- كيف يتم استخدام الكلمة في اللغة
- تردد الكلمة
- ما إذا كانت الكلمة تستخدم في كثير من الأحيان في اللغة المنطوقة أو المكتوبة
- خيارات الترجمة إلى الروسية أو الإسبانية، على التوالي
- أمثلة على استخدام الكلمة (عدة عبارات مع الترجمة)
- أصل الكلمة
%ما هو (من)٪ 1 - تعريف
SUBFIELD OF AUTOMATED REASONING DEALING WITH PROVING THEOREMS BY COMPUTER PROGRAMS
Automating theorem proving; Theorem proving; Automatic theorem proving; Automated theorem prover; First-order theorem provers; Automatic theorem prover; Automated deduction; Automated prover; Automatic proof system; Automated theorem provers; Theorem-proving system; Theorem-proving systems; Formalized theorem proving; Theorem-prover; List of automated theorem provers; Comparison of automated theorem provers; List of theorem provers; Computer generated proof; Proof automation; Applications of automated theorem proving; Automated proof; History of automated theorem proving; Benchmarks for automated theorem provers; Benchmarks for theorem provers; Automated mathematical proof; Automated mathematical induction
Automated theorem proving
Automated theorem proving (also known as ATP or automated deduction) is a subfield of automated reasoning and mathematical logic dealing with proving mathematical theorems by computer programs. Automated reasoning over mathematical proof was a major impetus for the development of computer science.
Interactive Theorem Proving (conference)
ANNUAL CONFERENCE SERIES ON AUTOMATED THEOREM PROVING AND PROOF ASSISTANTS
Theorem Proving in Higher-Order Logics; TPHOLs; Theorem Proving in Higher Order Logics; Interactive Theorem Proving
Interactive Theorem Proving (ITP) is an annual international academic conference on the topic of automated theorem proving, proof assistants and related topics, ranging from theoretical foundations to implementation aspects and applications in program verification, security, and formalization of mathematics.
Theorem Proving System
AUTOMATED THEOREM PROVING SYSTEM FOR FIRST-ORDER AND HIGHER-ORDER LOGIC
TPS (Theorem Proving System)
The Theorem Proving System (TPS) is an automated theorem proving system for first-order and higher-order logic. TPS has been developed at Carnegie Mellon University.
ويكيبيديا
Automated theorem proving
Automated theorem proving (also known as ATP or automated deduction) is a subfield of automated reasoning and mathematical logic dealing with proving mathematical theorems by computer programs. Automated reasoning over mathematical proof was a major impetus for the development of computer science.
