English  

كتب سلامة حوسبة

اذا لم تجد ما تبحث عنه يمكنك استخدام كلمات أكثر دقة.

عرض المزيد

السلامة الحسابية (معلومة)


إذا كانت T هي نظرية يمكن تفسير عناصرها بأنها أعداد طبيعية, فسنقول إن T سليمة حسابيًا إذا كانت جميع مبرهنات T حقيقية فعلاً من حيث الأعداد الصحيحة الحسابية القياسية. لمزيد من المعلومات انظر نظرية تناسب أوميغا (ω).

المصدر: wikipedia.org