mathematical logic

/ˌmæθəˈmætɪkl̩ˈlɑːdʒɪk//ˌmæθəˈmætɪkl̩ˈlɒdʒɪk/

رجوع شود به: symbolic logic، منطق ریاضی
شبکه مترجمین ایران

جمله های نمونه

1. It is based on mathematical logic - based language function, based on the lambda calculus.
[ترجمه ترگمان]آن مبتنی بر تابع زبان مبتنی بر منطق ریاضی است که براساس حساب دیفرانسیل lambda است
[ترجمه گوگل]این بر اساس تابع زبان مبتنی بر منطق ریاضی، بر اساس محاسبات لامبدا است
[ترجمه شما] ترجمه صحیح تر را بنویسید

2. The mathematical logic of breeding pictures indistinguishable from the mathematical logic of breeding pigeons.
[ترجمه ترگمان]منطق ریاضی مربوط به تولید تصاویر از منطق ریاضی کبوترها قابل تشخیص نیست
[ترجمه گوگل]منطق ریاضی پرورش تصاویر غیر قابل تشخیص از منطق ریاضی پرورش کبوتر
[ترجمه شما] ترجمه صحیح تر را بنویسید

3. Calculus of the mathematical logic of the grammar part.
[ترجمه ترگمان]ریاضی منطق ریاضی بخش دستور زبان است
[ترجمه گوگل]محاسبه منطق ریاضی بخشی از دستور زبان
[ترجمه شما] ترجمه صحیح تر را بنویسید

4. Mathematical Logic. I have a really cool totally unreadable book on the subject by Stephen Kleene, the inventor of the Kleene closure and, as far as I know, Kleenex.
[ترجمه ترگمان]منطق ریاضی من یک کتاب کاملا بی تفاوت و کاملا غیرقابل خواندن در مورد این موضوع توسط استفان Kleene، مخترع بسته بودن Kleene و تا آنجا که می دانم، دستمال کاغذی دارم
[ترجمه گوگل]منطق ریاضی من کتاب کاملا کاملا غیر قابل خواندن در مورد این موضوع توسط استفان کلاین، مخترع بسته شدن Kleene و، تا آنجا که من می دانم، Kleenex، دارم
[ترجمه شما] ترجمه صحیح تر را بنویسید

5. This article mainly discusses several mathematical logic thinking methods and their applications in artistic design.
[ترجمه ترگمان]این مقاله به طور عمده در مورد چندین روش تفکر منطقی ریاضی و کاربرد آن ها در طراحی هنری بحث می کند
[ترجمه گوگل]این مقاله به طور عمده چند روش تفکر منطقی ریاضی و کاربرد آنها در طراحی هنری را مورد بحث قرار می دهد
[ترجمه شما] ترجمه صحیح تر را بنویسید

6. In mathematical logic in the study is the main target of all kinds of calculus.
[ترجمه ترگمان]در منطق ریاضی در این مطالعه هدف اصلی همه نوع حساب دیفرانسیل و انتگرال است
[ترجمه گوگل]در منطق ریاضی در مطالعه هدف اصلی هر نوع حسابداری است
[ترجمه شما] ترجمه صحیح تر را بنویسید

7. Mathematical logic is an extension of symbolic logic into other areas, in particular to the study of model theory, proof theory, set theory, and recursion theory.
[ترجمه ترگمان]منطق ریاضی، تعمیم منطق نمادین به حوزه های دیگر، به ویژه برای مطالعه نظریه مدل، نظریه اثبات، نظریه مجموعه ها و نظریه بازگشت است
[ترجمه گوگل]منطق ریاضی، گسترش منطق نمادین به مناطق دیگر، به ویژه به مطالعه نظریه مدل، نظریه اثبات، نظریه مجموعه، و نظریه بازگشت است
[ترجمه شما] ترجمه صحیح تر را بنویسید

8. Mathematical logic is stressed to discuss expandly the optimal inventory control problem based on EDI using mathematical modeling and give several calculate formulations and methods.
[ترجمه ترگمان]منطق ریاضی برای بحث در مورد مساله کنترل موجودی بهینه مبتنی بر EDI مبتنی بر EDI با استفاده از مدل سازی ریاضی و چندین محاسبه و روش های محاسبه مورد تاکید قرار می گیرد
[ترجمه گوگل]منطق ریاضی تاکید شده است تا بحث در مورد گسترش کنترل مشکل موجودی بهینه را بر اساس EDI با استفاده از مدلسازی ریاضی و ارائه چندین فرمولاسیون و روشهای محاسبه کند
[ترجمه شما] ترجمه صحیح تر را بنویسید

9. " Mr. Fang, have you ever studied mathematical logic?
[ترجمه ترگمان]آقای فانگ، تا حالا منطق ریاضی رو خوندی؟
[ترجمه گوگل]آقای فنگ، آیا تا به حال منطق ریاضی را مطالعه کرده اید؟
[ترجمه شما] ترجمه صحیح تر را بنویسید

10. Although Mr Quine has no important theorem to his name he wrote on mathematical logic with ingenuity and wit.
[ترجمه ترگمان]اگرچه آقای کواین برای نام خود قضیه مهمی ندارد اما در منطق ریاضی با زیرکی و زیرکی نوشت
[ترجمه گوگل]گرچه آقای کویین قضیه مهمی برای نام او ندارد، او در زمینه منطق ریاضی با ابتکار و نوآوری نوشته است
[ترجمه شما] ترجمه صحیح تر را بنویسید

11. The paper reveals that there exists a circular argument between the two semantics which also exists between model theory and proof theory of mathematical logic.
[ترجمه ترگمان]این مقاله نشان می دهد که یک استدلال دایره ای بین دو معنایی وجود دارد که بین نظریه مدل و نظریه اثبات منطق ریاضی وجود دارد
[ترجمه گوگل]مقاله نشان می دهد که استدلال دایره ای بین دو معنایی وجود دارد که هم بین تئوری مدل و تئوری اثبات منطق ریاضی وجود دارد
[ترجمه شما] ترجمه صحیح تر را بنویسید

12. Predicate Calculus language of the traditional semantic component of the mathematical logic of a very rich branch.
[ترجمه ترگمان]زبان الفی مولفه معنایی سنتی منطق ریاضی یک شاخه بسیار غنی است
[ترجمه گوگل]پیش بینی زبان حسابداری از مفهوم معنایی سنتی منطق ریاضی شاخه بسیار غنی است
[ترجمه شما] ترجمه صحیح تر را بنویسید

13. Therefore, the three basic laws are not applicable to orthodox mathematical logic.
[ترجمه ترگمان]بنابراین، این سه قانون اساسی برای منطق ریاضی متعارف قابل اجرا نیستند
[ترجمه گوگل]بنابراین، سه اصل اساسی برای منطق ریاضی ارتدوکس قابل استفاده نیستند
[ترجمه شما] ترجمه صحیح تر را بنویسید

14. We shall study and develop all the subjects of logical system, not only the mathematical logic but also logic of natural language, inductive logic, dialectical logic and logic in law.
[ترجمه ترگمان]ما همه موضوعات نظام منطقی را مطالعه و توسعه خواهیم داد نه تنها منطق ریاضی بلکه منطق زبان طبیعی، منطق استنتاجی، منطق دیالکتیکی و منطق در قانون
[ترجمه گوگل]ما همه موضوعات سیستم منطقی را مطالعه خواهیم کرد و نه تنها منطق ریاضی بلکه منطق زبان طبیعی، منطق استقامتی، منطق دیالکتیکی و منطق قانون را مطالعه خواهیم کرد
[ترجمه شما] ترجمه صحیح تر را بنویسید

تخصصی

[کامپیوتر] منطق ریاضی
[برق و الکترونیک] منطق ریاضی
[ریاضیات] منطق نمادی، منطق ریاضی

معنی یا پیشنهاد شما