এটি গণিত, পদ্ধতিগত তত্ত্ব এবং তাতত্ত্বীয় কম্পিউটার বিজ্ঞান অন্তর্ভুক্ত করে।