علوم صوری شاخهای از دانش هستند که با سیستمهای رسمی همچون منطق، ریاضی، نظریه سیستمها، علوم رایانه، نظریه اطلاعات، نظریه تصمیم، آمار و بعضی جنبههای زبانشناسی درگیر است.
برخلاف سایر علوم علوم صوری درگیر اثبات نظریهها بر اساس مشاهدات دنیای واقعی نیستند بلکه با خصوصیات سیستمهای رسمی بر اساس تعریف و قوانین درگیرند. البته روشهای علوم صوری در ساختن و آزمون مدلهای علمی درگیر با وقایع قابل مشاهده به کاربرده میشوند.
جستارهای وابسته
منابع
- مشارکتکنندگان ویکیپدیا. «Formal sciences». در دانشنامهٔ ویکیپدیای انگلیسی، بازبینیشده در ۵ آبان ۱۳۸۹.
Wikiwand in your browser!
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.