منطق ریاضی APK

1.0.0

منطق ریاضی یک زیرمجموعه از ریاضیات است که به بررسی برنامه های منطق رسمی به ریاضیات می پردازد. این ارتباطات نزدیکی به متادمینی، مبانی ریاضیات و علوم رایانه نظری دارد. موضوعات متحد در منطق ریاضی عبارتند از مطالعه قدرت بیانگر سیستم های رسمی و قدرت کشف سیستم های اثبات رسمی.


منطق ریاضی اغلب به حوزه نظریه مجموعه، نظریه مدل، نظریه ی بازگشت و تئوری اثبات تقسیم می شود. این زمینه ها نتایج پایه ای را در منطق، به ویژه منطق مرتبه اول و تعریف، به اشتراک می گذارند. در علم کامپیوتر (به ویژه در طبقه بندی ACM) منطق ریاضی شامل موضوعات اضافی است که در این مقاله دقیق نیست؛ منطق در علم کامپیوتر را برای آن ها مشاهده کنید.



زبان پشتیبانی


ar-SA = العربية
ca-ES = català
cs-CZ = Čeština
de-de = Deutsch
en-US = انگلیسی
es-ES = Español
fa-IR = فارسى
fr-FR = français
he-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 = ukrainian
zh-CN = 中文