equational

1. Equational Programming Language (EP) is a novel intelligence language.

[ترجمه ترگمان]زبان برنامه نویسی equational (EP)یک زبان اطلاعاتی نوین است
[ترجمه گوگل]زبان برنامهنویسی معادله (EP) یک زبان هوشمند جدید است

2. These equational laws are similar to those used in mathematics to show that two expressions are equivalent.

[ترجمه ساعی رضایی] این قواعدِ معادله ای شبیه آنهایی هستند که در ریاضی استفاده میشوند برای نشان دادن اینکه دو عبارت معادل هستند

[ترجمه ترگمان]این قوانین equational مشابه آن هایی هستند که در ریاضیات به کار می روند تا نشان دهند که دو حالت برابر هستند
[ترجمه گوگل]این قوانین معکوس شبیه به آنهایی است که در ریاضیات استفاده می شود تا نشان دهد که دو عبارات معادل هستند

3. The Equational Sentence and the Equative sentence are similar in form, but are quite different if analyzed semantically.

[ترجمه ساعی رضایی] جمله معادله ای و جمله مساوی از نظر فرم ظاهری شبیه هم عستند ولی کاملا متفاوت هستند اگر از نظر معنایی تجزیه و تحلیل بشوند

[ترجمه ترگمان]جمله equational و جمله حبس به شکل مشابه هستند، اما اگر به لحاظ معنایی آنالیز شوند کاملا متفاوت هستند
[ترجمه گوگل]احضار معادله و جمله مقدماتی در فرم مشابه هستند، اما در صورت تجزیه و تحلیل معنایی آن کاملا متفاوت است

4. Problems of equational realizations of separable functions and nonseparable functions are discussed by using this method in this paper.

[ترجمه ترگمان]مشکلات ناشی از تحقق کارکرده ای قابل تفکیک تابعی و توابع nonseparable با استفاده از این روش در این مقاله مورد بحث قرار می گیرند
[ترجمه گوگل]در این مقاله با استفاده از این روش، مسائل مربوط به تطابق معادلات توابع جداسازی شده و توابع غیر جدایی بحث می شود

5. This is an automated theorem prover for first-order and equational logic, used to support inference in language processing.

[ترجمه ترگمان]این یک قضیه خودکار برای منطق مرتبه اول و equational است که برای پشتیبانی از استنباط در پردازش زبان استفاده می شود
[ترجمه گوگل]این یک قضیه اتوماتیک برای منطق مرتبه اول و معادل است که برای پشتیبانی از استنتاج در پردازش زبان استفاده می شود

6. A new arithmetic using relativity to judge array ambiguity is introduced. The shortage of equational arithmetic when array is complex and arithmetic of searching the spectrum peaks is conquered.

[ترجمه ترگمان]یک حساب جدید با استفاده از نسبیت برای داوری آرایه داوری معرفی می شود کمبود حساب equational زمانی که آرایه پیچیده و محاسباتی برای جستجوی قله های طیف مورد استفاده قرار می گیرد، مغلوب می شود
[ترجمه گوگل]یک حساب کاربری جدید با استفاده از نسبیت برای قضاوت ابهام آرایه معرفی شده است کمبود حساب معادل زمانی که آرایه پیچیده است و حسابرسی جستجو در قله طیف، فتح شده است

7. Cooperated now on market multifarious, dimension no longer onefold books, broke the fixed frame of traditional bookshelf, the limitation with equational space, use rise convenient freely.

[ترجمه ترگمان]اکنون در مورد جنبه های مختلف بازار، بعد دیگر کتاب onefold، چارچوب ثابت قفسه کتاب سنتی را شکستند، محدودیت فضای equational را شکستند، و از آن به راحتی استفاده کردند
[ترجمه گوگل]هم اکنون در بازار چندگانه، ابعاد دیگر کتاب یک بار، فضای ثابت قفسه کتاب سنتی را شکست، محدودیت با فضای رقابتی، استفاده آزادانه راحت از راحتی

8. Induced a kind of convenient procedure for the solution of the linearity equational group.

[ترجمه ترگمان]این نوع روش مناسب برای حل مساله گروه equational خطی است
[ترجمه گوگل]یک روش مناسب برای راه حل گروه معادله خطی ایجاد کرد

9. It can be proved that MRRC yields asymptotic stability through theoretical analysis and equational results. At last the effective result is proved by the simulation curves.

[ترجمه ترگمان]می توان ثابت کرد که MRRC پایداری مجانبی را از طریق تجزیه و تحلیل نظری و نتایج equational به دست می دهد در نهایت نتایج موثر توسط منحنی های شبیه سازی ثابت شد
[ترجمه گوگل]می توان ثابت کرد که MRRC با استفاده از تجزیه و تحلیل نظری و نتایج معادلات ثبات آسیمپتیکی را به دست می آورد در نهایت نتیجه موثر توسط منحنی های شبیه سازی ثابت می شود

10. In this paper, an explicit induction method in rewriting systems is proposed, and a new algorithm based on it is designed to prove inductive theorems of equational systems.

[ترجمه ترگمان]در این مقاله یک روش القای صریح در بازنویسی این سیستم ها ارائه شده است، و یک الگوریتم جدید مبتنی بر آن برای اثبات قضایای القایی سیستم های equational طراحی شده است
[ترجمه گوگل]در این مقاله روش القایی واضح در سیستم های بازنویسی ارائه شده است و یک الگوریتم جدید مبتنی بر آن برای اثبات قضیه های القایی سیستم های متعارف طراحی شده است

11. The similarity method of mass flow, as it is called in this paper, is different from the methods of equational analysis and the dimensional analysis.

[ترجمه ترگمان]روش شباهت جریان جرم، همانطور که در این مقاله گفته می شود، با روش های آنالیز equational و تحلیل ابعادی متفاوت است
[ترجمه گوگل]روش شباهت جریان جرم، همانطور که در این مقاله نامیده می شود، متفاوت از روش های تحلیل معادلات و تجزیه و تحلیل بعدی است

12. By means of constructional iterative equation, this paper presents a way to give out the existence and singularity of a type of equational root with gradual approach method.

[ترجمه ترگمان]این مقاله با استفاده از معادله تکرار شونده یک روش ارایه می دهد تا وجود و منحصر بفرد یک نوع از ریشه equational را با روش رویکرد تدریجی تعریف کند
[ترجمه گوگل]با استفاده از معادله تکراری ساختاری، این مقاله راهی برای بیان وجود و تکینگی یک نوع ریشه معادله با روش رویکرد تدریجی ارائه می دهد

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

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

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

جملات نمونه