学科方法论

_only

计算机学科方法论，是关于计算机学科一般方法的理论。主要有3个方面：学科形态，核心概念，学科方法。
学科形态：抽象，理论，设计。
核心概念：⑴绑定Binding，⑵大问题的复杂性Complexing of Large Problems，⑶概念和形式模型Concentual and Format Models，⑷一般性和完备性Consistency and Completeness，⑸效率Efficiency，⑹演化Evolution，⑺抽象层次Levels of Abstraction，⑻按空间排序Ordering in Space，⑼按时间排序Ordering in Time，⑽重用Reuse，⑾安全性Security，⑿折衷和结论Tradeoff and Consequences。
学科方法：相关的数学方法与系统科学方法。如递归，系统论，信息论等。