علوم صوری شاخه ای از دانش هستند که با سیستم های رسمی همچون منطق، ریاضی، نظریه سیستم ها، علوم رایانه، نظریه اطلاعات، نظریه تصمیم، آمار و بعضی جنبه های زبان شناسی درگیر است.
برخلاف سایر علوم علوم صوری درگیر اثبات نظریه ها بر اساس مشاهدات دنیای واقعی نیستند بلکه با خصوصیات سیستم های رسمی بر اساس تعریف و قوانین درگیرند. البته روش های علوم صوری در ساختن و آزمون مدل های علمی درگیر با وقایع قابل مشاهده به کاربرده می شوند.
این نوشته برگرفته از سایت ویکی پدیا می باشد، اگر نادرست یا توهین آمیز است، لطفا گزارش دهید: گزارش تخلفبرخلاف سایر علوم علوم صوری درگیر اثبات نظریه ها بر اساس مشاهدات دنیای واقعی نیستند بلکه با خصوصیات سیستم های رسمی بر اساس تعریف و قوانین درگیرند. البته روش های علوم صوری در ساختن و آزمون مدل های علمی درگیر با وقایع قابل مشاهده به کاربرده می شوند.
wiki: علوم صوری