monadic

1. Why are monadic predicates not sufficient for a complete description of the world?

[ترجمه ترگمان]چرا گزاره های monadic برای توصیف کامل جهان کافی نیستند؟
[ترجمه گوگل]چرا ملاحظات مونادی برای شرح کامل دنیای کافی نیست؟

2. Modular monadic slicing for programs with pointers.

[ترجمه ترگمان]از 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 و دودویی یک مساله اساسی در آنالیز ریاضی است که می تواند برای محاسبه حداکثر و حداقل اعمال شود
[ترجمه گوگل]محاسبه مقدار شدید برای عملکرد مونادی و باینری، مشکل اصلی در تحلیل ریاضی است که می تواند برای محاسبه حداکثر و حداقل مورد استفاده قرار گیرد

4. Hence S5-algebra is a synonym for monadic Boolean algebra.

[ترجمه ترگمان]از این رو، جبر اس یک synonym برای جبر بولی بولی است
[ترجمه گوگل]از این رو S5-جبر به معنای جبر بولی است

5. Likewise, a monadic programming style enables us to encode exceptions and state in a legible, compositional manner.

[ترجمه ترگمان]به همین ترتیب، یک سبک برنامه نویسی monadic به ما این امکان را می دهد که استثنائات و حالت را به روش متنی و متنی کدگذاری کنیم
[ترجمه گوگل]به همین ترتیب، یک سبک برنامه نویسی مونادی ما را قادر می سازد که استثنائات و حالت را در یک ترکیب قابل خواندن و ترکیب بندی کنیم

6. Monadic Boolean algebras have an important connection to topology.

[ترجمه ترگمان]monadic بولی ممکن است ارتباط مهمی با توپولوژی داشته باشد
[ترجمه گوگل]جبری بولانی Monadic ارتباط مهم با توپولوژی دارد

7. Likewise, monadic Boolean algebras supply the algebraic semantics for S

[ترجمه ترگمان]به همین ترتیب، monadic بولی ممکن است معنای جبری را برای S تامین کند
[ترجمه گوگل]به همین ترتیب، الگوریتم Boolean monadic معانی جبری را برای S ارائه می کند

8. To use monadic means is difficult to correctly locate hidden water flowing subsided columns.

[ترجمه ترگمان]استفاده از ابزار 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 را مورد مطالعه قرار می دهد و بر کلاس های خودکار تمرکز می کند که رفتار همزمان سیستم های توزیع شده را توصیف می کنند
[ترجمه گوگل]این کتاب رابطه بین خودکار و منطق مرتبه دوم را بررسی می کند و تمرکز بر کلاس های اتوماتا که رفتار همزمان سیستم های توزیع شده را توصیف می کنند

10. There's no deep programming here—no need for object-orientation, monadic application, co-routines, or other subtleties.

[ترجمه ترگمان]هیچ برنامه ریزی عمیق در اینجا وجود ندارد - نیازی به جهت گیری، کاربرد monadic، co، یا سایر subtleties وجود ندارد
[ترجمه گوگل]در اینجا هیچ برنامه ریزی عمیقی وجود ندارد - نیازی به جابجایی شیء، برنامه کاربردی مونادی، برنامه های مشترک و یا سایر ظرافت ها نیست

11. Monadic Boolean algebras also have an important connection to modal logic.

[ترجمه ترگمان]همچنین algebras بولی ممکن است ارتباط مهمی با منطق معین داشته باشد
[ترجمه گوگل]الگوریتم های بولینی Monadic همچنین ارتباط مهمی با منطق مودال دارند

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\" یا \"نظریه دودویی\"، کاربرد آن ها به ترتیب مزایا و معایبی دارد
[ترجمه گوگل]از دیدگاه سیستم قضایی قانون یا نظام قانونی عرفی، از نظر «نظریه مونادی» یا «تئوری دوتایی»، کاربرد آنها به ترتیب مزایا و معایب آنهاست

13. Gnostic sects are generally monadic - they believe in a singular supreme being.

[ترجمه ترگمان]همه فرقه ها به طور کلی 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. . .

[ترجمه ترگمان]تعریف آن و اثبات درستی آن در این مقاله ارائه شده است این مقاله همچنین یک الگوریتم برش پویا مبتنی بر modular modular sem را نشان می دهد
[ترجمه گوگل]این تعریف و صحت صحت در این مقاله ارائه شده است این مقاله همچنین نشان می دهد الگوریتم برش پویایی بر پایه ی مودال مدولار است

انگلیسی به فارسی

انگلیسی به انگلیسی

دیکشنری تخصصی

مترادف و متضاد

جملات نمونه