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 و تا آنجا که می دانم، دستمال کاغذی دارم
[ترجمه شما] ترجمه صحیح تر را بنویسید

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

تخصصی

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

پیشنهاد کاربران

بپرس