formalizable proof
اثبات قابل Formalizasyon
strictly formalizable
کاملاً قابل Formalizasyon
not formalizable
ناممکن Formalizasyon
fully formalizable
کاملاً قابل Formalizasyon
formalizable system
سیستم قابل Formalizasyon
semiformalizable
نیمه قابل Formalizasyon
formalizable logic
منطق قابل Formalizasyon
the committee agreed that the proposal was formalizable into a binding contract.
کمیته موافقت کرد که پیشنهاد قابل تبدیل به قراردادی الزام آور است.
we must check if these abstract concepts are formalizable within the existing framework.
ما باید بررسی کنیم که این مفاهیم مجرد آیا در چارچوب موجود قابل فرمولاسیون هستند.
the lawyer determined that the verbal agreement was formalizable in writing.
دادستان مشخص کرد که توافق لفظی قابل فرمولاسیون به صورت نوشتی است.
scientists discussed whether this natural phenomenon is formalizable using mathematical models.
دانشمندان در مورد اینکه آیا این پدیده طبیعی با استفاده از مدلهای ریاضی قابل فرمولاسیون است بحث کردند.
the system ensures that every user request is formalizable as a distinct data object.
سیستم اطمینان حاصل میکند که هر درخواست کاربر به عنوان یک شیء داده مجزا قابل فرمولاسیون است.
philosophers debate whether human morality is formalizable through a set of logical rules.
فیلسوفان در مورد اینکه آیا اخلاق انسانی از طریق مجموعهای از قواعد منطقی قابل فرمولاسیون است بحث میکنند.
the architect explained that the design concept was formalizable into blueprints.
معمار توضیح داد که مفهوم طراحی قابل فرمولاسیون به عنوان نقشههای ساختمانی است.
programmers need to know if the workflow is formalizable via code.
برنامهنویسان باید بدانند که آیا فرآیند کار قابل فرمولاسیون از طریق کد است یا خیر.
theoretically, every intuition is formalizable given enough data and processing power.
به طور نظری، هر احساس اینترنتی با دادههای کافی و قدرت پردازشی قابل فرمولاسیون است.
the audit requires that all informal processes be formalizable for compliance purposes.
بررسی میطلبد که تمام فرآیندهای غیررسمی برای اهداف تطابق قابل فرمولاسیون باشند.
only strictly formalizable arguments will be accepted by the automated theorem prover.
فقط استدلالهایی که به طور صریح قابل فرمولاسیون هستند توسط مفهومساز اتوماتیک قبول خواهند شد.
formalizable proof
اثبات قابل Formalizasyon
strictly formalizable
کاملاً قابل Formalizasyon
not formalizable
ناممکن Formalizasyon
fully formalizable
کاملاً قابل Formalizasyon
formalizable system
سیستم قابل Formalizasyon
semiformalizable
نیمه قابل Formalizasyon
formalizable logic
منطق قابل Formalizasyon
the committee agreed that the proposal was formalizable into a binding contract.
کمیته موافقت کرد که پیشنهاد قابل تبدیل به قراردادی الزام آور است.
we must check if these abstract concepts are formalizable within the existing framework.
ما باید بررسی کنیم که این مفاهیم مجرد آیا در چارچوب موجود قابل فرمولاسیون هستند.
the lawyer determined that the verbal agreement was formalizable in writing.
دادستان مشخص کرد که توافق لفظی قابل فرمولاسیون به صورت نوشتی است.
scientists discussed whether this natural phenomenon is formalizable using mathematical models.
دانشمندان در مورد اینکه آیا این پدیده طبیعی با استفاده از مدلهای ریاضی قابل فرمولاسیون است بحث کردند.
the system ensures that every user request is formalizable as a distinct data object.
سیستم اطمینان حاصل میکند که هر درخواست کاربر به عنوان یک شیء داده مجزا قابل فرمولاسیون است.
philosophers debate whether human morality is formalizable through a set of logical rules.
فیلسوفان در مورد اینکه آیا اخلاق انسانی از طریق مجموعهای از قواعد منطقی قابل فرمولاسیون است بحث میکنند.
the architect explained that the design concept was formalizable into blueprints.
معمار توضیح داد که مفهوم طراحی قابل فرمولاسیون به عنوان نقشههای ساختمانی است.
programmers need to know if the workflow is formalizable via code.
برنامهنویسان باید بدانند که آیا فرآیند کار قابل فرمولاسیون از طریق کد است یا خیر.
theoretically, every intuition is formalizable given enough data and processing power.
به طور نظری، هر احساس اینترنتی با دادههای کافی و قدرت پردازشی قابل فرمولاسیون است.
the audit requires that all informal processes be formalizable for compliance purposes.
بررسی میطلبد که تمام فرآیندهای غیررسمی برای اهداف تطابق قابل فرمولاسیون باشند.
only strictly formalizable arguments will be accepted by the automated theorem prover.
فقط استدلالهایی که به طور صریح قابل فرمولاسیون هستند توسط مفهومساز اتوماتیک قبول خواهند شد.
Explore frequently searched vocabulary
Want to learn vocabulary more efficiently? Download the DictoGo app and enjoy more vocabulary memorization and review features!
Download DictoGo Now