程序设计
程序设计方法学主要运用数学方法研究程序的性质以及程序设计的理论和方法的学科；