علوم صوری
علوم صوری شاخه‌ای از دانش هستند که با سیستمهای رسمی همچون منطق، ریاضی، نظریه سیستم‌ها، علوم رایانه، نظریه اطلاعات، نظریه تصمیم، آمار و بعضی جنبه‌های زبان‌شناسی درگیر است.
 |
| بخشی از نوشتارها در مورد علم |
برخلاف سایر علوم علوم صوری درگیر اثبات نظریه‌ها بر اساس مشاهدات دنیای واقعی نیستند بلکه با خصوصیات سیستمهای رسمی بر اساس تعریف و قوانین درگیرند. البته روشهای علوم صوری در ساختن و آزمون مدلهای علمی درگیر با وقایع قابل مشاهده به کاربرده می‌شوند.
جستارهای وابسته
منابع
- مشارکت‌کنندگان ویکی‌پدیا. «Formal sciences». در دانشنامهٔ ویکی‌پدیای انگلیسی، بازبینی‌شده در ۵ آبان ۱۳۸۹.
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.