Our website is made possible by displaying online advertisements to our visitors.
Please consider supporting us by disabling your ad blocker.
Sains formal
| Sebahagian daripada siri |
| Sains |
|---|
| Ini ialah sebuah subsiri falsafah. |
Sains formal adalah cawangan sains yang mempelajari bidang bahasa formal berkaitan dengan sistem formal seperti logik, matematik, statistik, sains komputer teori, kecerdasan buatan, teori maklumat, teori permainan, teori sistem, teori keputusan, dan linguistik teori.[1] Di mana sains semula jadi dan sains sosial berusaha untuk mencirikan sistem fizikal dan sistem sosial, masing-masing, menggunakan kaedah empirik, sains formal adalah alat bahasa yang bersangkutan dengan ciri struktur abstrak yang digambarkan oleh sistem simbolik. Sains formal membantu sains alam dan sosial dengan menyediakan maklumat tentang struktur yang digunakan oleh kedua untuk menggambarkan dunia, dan apa kesimpulan dapat dibuat tentang mereka.
- ^ American Mathematical Society. "MSC2010 database". mathscinet.ams.org. Dicapai pada 17 May 2019.
Previous Page Next Page
