این دسته شامل رشته‌هایی است که بر مبنای منطق، ریاضیات، و علوم کامپیوتر بنا شده‌اند.
نمونه‌ها: ریاضیات، علوم کامپیوتر، منطق، آمار، و علوم سامانه‌ها.