औपचारिक विज्ञान की रूपरेखा मे तर्क विज्ञान कंप्यूटर विज्ञान अंक विज्ञान के कुछ प्रकार के शाखाएँ शामिल होत छै