provability

[ایالات متحده]/[ˌprɒvɪˈbɪləti]/
[بریتانیا]/[ˌproʊvɪˈbɪləti]/
بسامد: خیلی زیاد

ترجمه

n. کیفیتی یا وضعیتی قابل اثبات بودن؛ میزان قابل اثبات بودن چیزی؛ درجه‌ای که یک سیستم اصول موضوعه منسجم و کامل است.
Word Forms

عبارات و ترکیب‌ها

provability analysis

تحلیل قابلیت اثبات

establishing provability

ایجاد قابلیت اثبات

lack provability

نبود قابلیت اثبات

provability threshold

آستانه قابلیت اثبات

demonstrating provability

نشان دادن قابلیت اثبات

assessing provability

ارزیابی قابلیت اثبات

provability limits

محدودیت‌های قابلیت اثبات

high provability

قابلیت اثبات بالا

seeking provability

جستجوی قابلیت اثبات

provability tests

آزمایش‌های قابلیت اثبات

جملات نمونه

the provability of the theorem was established through rigorous mathematical proof.

اثبات قضیه از طریق اثبات ریاضی دقیق به دست آمد.

establishing provability is crucial in formal verification of hardware designs.

ایجاد قابلیت اثبات، در تأیید رسمی طرح‌های سخت‌افزار حیاتی است.

the lack of provability in some ai systems raises concerns about their reliability.

نبود قابلیت اثبات در برخی از سیستم‌های هوش مصنوعی، نگرانی‌هایی در مورد قابلیت اطمینان آنها ایجاد می‌کند.

we investigated the provability of the algorithm's correctness under various conditions.

ما قابلیت اثبات صحت الگوریتم را تحت شرایط مختلف بررسی کردیم.

the system's provability was enhanced by incorporating formal methods.

قابلیت اثبات سیستم با گنجاندن روش‌های رسمی افزایش یافت.

demonstrating provability is a key requirement for safety-critical systems.

نشان دادن قابلیت اثبات یک الزام کلیدی برای سیستم‌های حیاتی ایمنی است.

the concept of provability plays a significant role in logic and philosophy.

مفهوم قابلیت اثبات نقش مهمی در منطق و فلسفه ایفا می‌کند.

we analyzed the limitations of the system regarding provability.

ما محدودیت‌های سیستم در رابطه با قابلیت اثبات را تجزیه و تحلیل کردیم.

the goal was to maximize provability while maintaining computational efficiency.

هدف، بیشینه کردن قابلیت اثبات در حالی که کارایی محاسباتی حفظ می‌شد، بود.

the provability of the code was verified using static analysis tools.

قابلیت اثبات کد با استفاده از ابزارهای تجزیه و تحلیل استاتیک تأیید شد.

understanding provability is essential for building trustworthy software.

درک قابلیت اثبات برای ساختن نرم‌افزار قابل اعتماد ضروری است.

واژه‌های پرکاربرد

لغات پرجستجو را کاوش کنید

برای دسترسی به محتوای کامل، اپلیکیشن را دانلود کنید

می‌خواهید واژگان را مؤثرتر یاد بگیرید؟ اپلیکیشن DictoGo را دانلود کنید و از امکانات بیشتری برای حفظ و مرور واژگان لذت ببرید!

همین حالا DictoGo را دانلود کنید