علوم صوری
(تغییرمسیر از علوم رسمی)
علوم صوری شاخهای از دانش هستند که با سیستمهای رسمی همچون منطق، ریاضی، نظریه سیستمها، علوم رایانه، نظریه اطلاعات، نظریه تصمیم، آمار و بعضی جنبههای زبانشناسی درگیر است.
برخلاف سایر علوم علوم صوری درگیر اثبات نظریهها بر اساس مشاهدات دنیای واقعی نیستند بلکه با خصوصیات سیستمهای رسمی بر اساس تعریف و قوانین درگیرند. البته روشهای علوم صوری در ساختن و آزمون مدلهای علمی درگیر با وقایع قابل مشاهده به کاربرده میشوند.
جستارهای وابسته
ویرایشمنابع
ویرایش- مشارکتکنندگان ویکیپدیا. «Formal sciences». در دانشنامهٔ ویکیپدیای انگلیسی، بازبینیشده در ۵ آبان ۱۳۸۹.