المنطق الرياضي

المنطق الرياضي هو حقل فرعي للرياضيات يستكشف تطبيقات المنطق الرسمي إلى الرياضيات. وهو يحمل روابط وثيقة بعلم الرياضيات ، وأسس الرياضيات ، وعلم الكمبيوتر النظري. تتضمن الموضوعات الموحدة في المنطق الرياضي دراسة القوة التعبيرية للأنظمة الرسمية والقوة الاستنتاجية لنظم الإثبات الرسمية.

ينقسم المنطق الرياضي في كثير من الأحيان إلى مجالات نظرية المجموعات ونظرية النموذج ونظرية التكرار ونظرية الإثبات. تتشارك هذه المناطق النتائج الأساسية في المنطق ، ولا سيما منطق الترتيب الأول ، وقابلية التحديد. في علم الكمبيوتر (لا سيما في تصنيف ACM) يشتمل المنطق الرياضي على مواضيع إضافية غير مفصلة في هذه المقالة. انظر المنطق في علوم الكمبيوتر لتلك.

لغة الدعم

ar-SA = العربية

ca-ES = català

cs-CZ = Čeština

de-DE = الألمانية

en-US = English

es-ES = Español

fa-IR = فارْسِى

fr-FR = français

كان-IL = עִבְרִית

hu-HU = Magyar

it-IT = italiano

ja-JP = 日本語

ko-KR = 한국어

nl-NL = Nederlands

pl-PL = polski

pt-PT = Português

ru-RU = Русский

sr-RS = Српски

sv-SE = Svenska

uk-UA = українська

zh-CN = 中文