برهان متناهی مبنا
فرهنگستان زبان و ادب
{finitary proof} [ریاضی] برهانی که در آن هیچ مجموعۀ نامتناهی، چه به طور صریح و چه به طور ضمنی، به کار نرفته باشد
جمله سازی با برهان متناهی مبنا
جملات نمونه از منابع مختلف جمع آوری شده است، اگر صحیح نیست یا توهین آمیز است، لطفا گزارش دهید.
💡 و گفته اند شکر بر شکر تمامتر بود از شکر، و آن چنان بود که شکر خویش توفیق وی بینی و آن توفیق از جملۀ نعمت خدای بود بر تو و او را بر آن، شکر گوئی پس بر شکر، شکر کنی و این متناهی باشد.
💡 یک زنجیره پیوسته مارکف توسط یک فضای حالت متناهی یا شمارا، یک ماتریس نرخ انتقال Q با ابعادی برابر با فضای حالت است. برای i ≠ j، هر عنصر qij غیر منفی است و نرخ انتقال فرایند را از حالت i به حالت j توصیف میکند.
💡 در موارد دیگر میتوان از جدول کنترل برای پیادهسازی زبانهای مبتنی بر ماشینهای حالت متناهی و پیادهسازی درختهای تصمیمگیری استفاده کرد. از جدول کنترل برای ساختن جدول جستجو نیز استفاده میشود.
💡 و نعمتهای الهی و حکمتهای غیر متناهی، که در خلقت ابر و باد و باران و دریا و کوه هست از حد بیان خارج است.
💡 مینامیم. همچنین هر دنبالهٔ متناهی از تصمیمات را یک وضعیت بازی و هر دنبالهٔ نامتناهی از تصمیمات را یک واقعیت بازی مینامیم. پس به عنوان تعریف دقیق، یک بازی منطقی ۴ تایی
💡 یک مجموعهٔ متناهی از قواعد ترادیسی است که در کاربردهای منطقی اصطلاحاً قوانین استنتاج خوانده میشوند.