إثْباتُ النَّظَرِيَّاِت:- أسلوب نمطي لإثبات نظرية مَّا، يستخدم فيه المنطق الرمزي، ويمكن برمجة هذا الأسلوب بهدف ميكنة عمليات الإثبات، وتسمى البرامج مثبتات النظريات theorem provers. (معجم الحاسبات)
نحن بحاجة لملفات تعريف الارتباط لكي يعمل هذا الموقع. يرجى تمكينها للمتابعة.
نحن نظهر لك هذه الرسالة لأننا نحترم خصوصيتك.
بإستخدامك هذا الموقع أنت توافق لنا على جمع ملفات تعريف الارتباط "الكوكيز" لتقديم تجربة مستخدم أفضل،
المزيد من التفاصيل.
لا يمكن تصفح الموقع طالما رفضت استخدام الكوكيز لأن الموقع يعتمد عليه بشكل أساسي للعمل