1. Why are monadic predicates not sufficient for a complete description of the world?
[ترجمه گوگل]چرا محمول های مونادیک برای توصیف کامل جهان کافی نیستند؟
[ترجمه ترگمان]چرا گزاره های monadic برای توصیف کامل جهان کافی نیستند؟
[ترجمه شما] ترجمه صحیح تر را بنویسید
[ترجمه ترگمان]چرا گزاره های monadic برای توصیف کامل جهان کافی نیستند؟
[ترجمه شما] ترجمه صحیح تر را بنویسید
2. Modular monadic slicing for programs with pointers.
[ترجمه گوگل]برش مونادیک مدولار برای برنامه های دارای اشاره گر
[ترجمه ترگمان]از monadic Modular برای برنامه های با اشاره گر استفاده کنید
[ترجمه شما] ترجمه صحیح تر را بنویسید
[ترجمه ترگمان]از monadic Modular برای برنامه های با اشاره گر استفاده کنید
[ترجمه شما] ترجمه صحیح تر را بنویسید
3. The calculations of extreme value for monadic and binary function are essential problem in mathematical analysis, which can apply to calculate maximum and minimum.
[ترجمه گوگل]محاسبات مقدار افراطی برای تابع مونادیک و باینری مسئله اساسی در تحلیل ریاضی است که می تواند برای محاسبه حداکثر و حداقل اعمال شود
[ترجمه ترگمان]محاسبات مقدار بسیار زیاد برای توابع monadic و دودویی یک مساله اساسی در آنالیز ریاضی است که می تواند برای محاسبه حداکثر و حداقل اعمال شود
[ترجمه شما] ترجمه صحیح تر را بنویسید
[ترجمه ترگمان]محاسبات مقدار بسیار زیاد برای توابع monadic و دودویی یک مساله اساسی در آنالیز ریاضی است که می تواند برای محاسبه حداکثر و حداقل اعمال شود
[ترجمه شما] ترجمه صحیح تر را بنویسید
4. Hence S5-algebra is a synonym for monadic Boolean algebra.
[ترجمه گوگل]از این رو S5-جبر مترادف جبر بولی مونادیک است
[ترجمه ترگمان]از این رو، جبر اس یک synonym برای جبر بولی بولی است
[ترجمه شما] ترجمه صحیح تر را بنویسید
[ترجمه ترگمان]از این رو، جبر اس یک synonym برای جبر بولی بولی است
[ترجمه شما] ترجمه صحیح تر را بنویسید
5. Likewise, a monadic programming style enables us to encode exceptions and state in a legible, compositional manner.
[ترجمه گوگل]به همین ترتیب، یک سبک برنامهنویسی مونادیک ما را قادر میسازد تا استثناها را رمزگذاری کنیم و به شیوهای خوانا و ترکیبی بیان کنیم
[ترجمه ترگمان]به همین ترتیب، یک سبک برنامه نویسی monadic به ما این امکان را می دهد که استثنائات و حالت را به روش متنی و متنی کدگذاری کنیم
[ترجمه شما] ترجمه صحیح تر را بنویسید
[ترجمه ترگمان]به همین ترتیب، یک سبک برنامه نویسی monadic به ما این امکان را می دهد که استثنائات و حالت را به روش متنی و متنی کدگذاری کنیم
[ترجمه شما] ترجمه صحیح تر را بنویسید
6. Monadic Boolean algebras have an important connection to topology.
[ترجمه گوگل]جبرهای بولی مونادیک ارتباط مهمی با توپولوژی دارند
[ترجمه ترگمان]monadic بولی ممکن است ارتباط مهمی با توپولوژی داشته باشد
[ترجمه شما] ترجمه صحیح تر را بنویسید
[ترجمه ترگمان]monadic بولی ممکن است ارتباط مهمی با توپولوژی داشته باشد
[ترجمه شما] ترجمه صحیح تر را بنویسید
7. Likewise, monadic Boolean algebras supply the algebraic semantics for S
[ترجمه گوگل]به همین ترتیب، جبرهای بولی مونادیک معناشناسی جبری را برای S ارائه می کنند
[ترجمه ترگمان]به همین ترتیب، monadic بولی ممکن است معنای جبری را برای S تامین کند
[ترجمه شما] ترجمه صحیح تر را بنویسید
[ترجمه ترگمان]به همین ترتیب، monadic بولی ممکن است معنای جبری را برای S تامین کند
[ترجمه شما] ترجمه صحیح تر را بنویسید
8. To use monadic means is difficult to correctly locate hidden water flowing subsided columns.
[ترجمه گوگل]استفاده از ابزارهای مونادیک برای مکان یابی صحیح ستون های فرو نشسته جریان آب مخفی دشوار است
[ترجمه ترگمان]استفاده از ابزار monadic به معنای تعیین صحیح محل استقرار ستون های آب پنهان در جریان است
[ترجمه شما] ترجمه صحیح تر را بنویسید
[ترجمه ترگمان]استفاده از ابزار monadic به معنای تعیین صحیح محل استقرار ستون های آب پنهان در جریان است
[ترجمه شما] ترجمه صحیح تر را بنویسید
9. This book studies the relationship between automata and monadic second-order logic, focusing on classes of automata that describe the concurrent behavior of distributed systems.
[ترجمه گوگل]این کتاب رابطه بین خودکارها و منطق مرتبه دوم مونادیک را مورد مطالعه قرار می دهد، با تمرکز بر کلاس های خودکار که رفتار همزمان سیستم های توزیع شده را توصیف می کند
[ترجمه ترگمان]این کتاب رابطه بین منطق automata و monadic را مورد مطالعه قرار می دهد و بر کلاس های خودکار تمرکز می کند که رفتار همزمان سیستم های توزیع شده را توصیف می کنند
[ترجمه شما] ترجمه صحیح تر را بنویسید
[ترجمه ترگمان]این کتاب رابطه بین منطق automata و monadic را مورد مطالعه قرار می دهد و بر کلاس های خودکار تمرکز می کند که رفتار همزمان سیستم های توزیع شده را توصیف می کنند
[ترجمه شما] ترجمه صحیح تر را بنویسید
10. There's no deep programming here—no need for object-orientation, monadic application, co-routines, or other subtleties.
[ترجمه گوگل]در اینجا هیچ برنامه نویسی عمیقی وجود ندارد - نیازی به شی گرایی، برنامه مونادیک، روال های مشترک یا سایر نکات ظریف نیست
[ترجمه ترگمان]هیچ برنامه ریزی عمیق در اینجا وجود ندارد - نیازی به جهت گیری، کاربرد monadic، co، یا سایر subtleties وجود ندارد
[ترجمه شما] ترجمه صحیح تر را بنویسید
[ترجمه ترگمان]هیچ برنامه ریزی عمیق در اینجا وجود ندارد - نیازی به جهت گیری، کاربرد monadic، co، یا سایر subtleties وجود ندارد
[ترجمه شما] ترجمه صحیح تر را بنویسید
11. Monadic Boolean algebras also have an important connection to modal logic.
[ترجمه گوگل]جبرهای بولی مونادیک نیز ارتباط مهمی با منطق مودال دارند
[ترجمه ترگمان]همچنین algebras بولی ممکن است ارتباط مهمی با منطق معین داشته باشد
[ترجمه شما] ترجمه صحیح تر را بنویسید
[ترجمه ترگمان]همچنین algebras بولی ممکن است ارتباط مهمی با منطق معین داشته باشد
[ترجمه شما] ترجمه صحیح تر را بنویسید
12. Whether from the view of continental law system or common law system, from "monadic theory" or "binary theory", their application respectively have their advantages and disadvantages.
[ترجمه گوگل]چه از منظر نظام حقوق قاره ای و چه از نظر نظام حقوق کامن لا، از «نظریه مونادیک» یا «نظریه دودویی»، کاربرد آنها به ترتیب دارای مزایا و معایبی است
[ترجمه ترگمان]چه از دیدگاه سیستم قانون قاره ای و یا سیستم قانون مشترک، از \"نظریه monadic\" یا \"نظریه دودویی\"، کاربرد آن ها به ترتیب مزایا و معایبی دارد
[ترجمه شما] ترجمه صحیح تر را بنویسید
[ترجمه ترگمان]چه از دیدگاه سیستم قانون قاره ای و یا سیستم قانون مشترک، از \"نظریه monadic\" یا \"نظریه دودویی\"، کاربرد آن ها به ترتیب مزایا و معایبی دارد
[ترجمه شما] ترجمه صحیح تر را بنویسید
13. Gnostic sects are generally monadic - they believe in a singular supreme being.
[ترجمه گوگل]فرقه های گنوسی عموماً مونادیک هستند - آنها به یک موجود عالی منفرد اعتقاد دارند
[ترجمه ترگمان]همه فرقه ها به طور کلی monadic هستند - آن ها به یک موجود عالی اعتقاد دارند
[ترجمه شما] ترجمه صحیح تر را بنویسید
[ترجمه ترگمان]همه فرقه ها به طور کلی monadic هستند - آن ها به یک موجود عالی اعتقاد دارند
[ترجمه شما] ترجمه صحیح تر را بنویسید
14. Its definition and correctness proofs are provided in this paper. This paper also gives and illustrates dynamic slicing algorithm based on modular monadic sem. . .
[ترجمه گوگل]تعریف و اثبات صحت آن در این مقاله ارائه شده است این مقاله همچنین الگوریتم برش پویا را بر اساس sem مونادیک مدولار ارائه و نشان می دهد
[ترجمه ترگمان]تعریف آن و اثبات درستی آن در این مقاله ارائه شده است این مقاله همچنین یک الگوریتم برش پویا مبتنی بر modular modular sem را نشان می دهد
[ترجمه شما] ترجمه صحیح تر را بنویسید
[ترجمه ترگمان]تعریف آن و اثبات درستی آن در این مقاله ارائه شده است این مقاله همچنین یک الگوریتم برش پویا مبتنی بر modular modular sem را نشان می دهد
[ترجمه شما] ترجمه صحیح تر را بنویسید