公理化方法：從一些基本的概念和公理出發(fā)，利用純邏輯推理的方法，把一門學科建立成演繹系統(tǒng)的方法。
1）以算法為中心，屬于應用數(shù)學 2）具有較強的社會性。 3）寓理于算，理論高度概括
