多施工主旨务实的是数理逻辑建模工具箱在推算，依靠数据、依靠推算机技术顺利进行数理逻辑建模等等，这都是与推算机技术关联度相当大的。 第三大类大研读研究生院就是自动化与辅助大研读