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