العربية  

books computational integrity

If you do not find what you're looking for, you can use more accurate words.

View more

السلامة الحسابية (Info)


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

Source: wikipedia.org