معنی فارسی mathematical logic

C1

شاخه‌ای از ریاضیات که با ساختارهای منطقی و ارزیابی استدلال‌های ریاضی سروکار دارد.

A subfield of mathematics exploring the applications of formal logic to mathematics.

noun
معنی(noun):

A subfield of logic and mathematics consisting of both the mathematical study of logic and the application of this study to other areas of mathematics, exemplified by questions on the expressive power of formal logics and the deductive power of formal proof systems.

example
معنی(example):

منطق ریاضی برای درک استدلال ریاضی استفاده می‌شود.

مثال:

Mathematical logic is used to understand mathematical reasoning.

معنی(example):

او در دانشگاه به مطالعه منطق ریاضی می‌پردازد.

مثال:

He studies mathematical logic at university.

معنی فارسی کلمه mathematical logic

: معنی mathematical logic به فارسی

شاخه‌ای از ریاضیات که با ساختارهای منطقی و ارزیابی استدلال‌های ریاضی سروکار دارد.