بالاترین سوالات
زمانبندی
چت
دیدگاه
علوم صوری
از ویکیپدیا، دانشنامه آزاد
Remove ads
علوم صوری شاخهای از علوم هستند که با سیستمهای رسمی همچون منطق، ریاضی، نظریه سیستمها، علوم رایانه، نظریه اطلاعات، نظریه تصمیم، آمار و بعضی جنبههای زبانشناسی درگیر است.
برخلاف سایر علوم، علوم صوری درگیر اثبات نظریهها بر اساس مشاهدات دنیای واقعی نیستند بلکه با خصوصیات سیستمهای رسمی بر اساس تعریف و قوانین درگیرند. البته روشهای علوم صوری در ساختن و آزمون مدلهای علمی درگیر با وقایع قابل مشاهده به کاربرده میشوند.
Remove ads
جستارهای وابسته
منابع
- مشارکتکنندگان ویکیپدیا. «Formal sciences». در دانشنامهٔ ویکیپدیای انگلیسی، بازبینیشده در ۵ آبان ۱۳۸۹.
 | این یک مقالهٔ خرد دانش است. میتوانید با گسترش آن به ویکیپدیا کمک کنید. |
Wikiwand - on
Seamless Wikipedia browsing. On steroids.
Remove ads