網(wǎng)站首頁(yè) 高考復(fù)習(xí)資料 高考英語(yǔ)詞匯 高考漢語(yǔ)字詞 高考文言文 古詩(shī)文閱讀 舊版資料
邏輯學(xué)中的一種程序。即以某些基本概念和基本命題出發(fā)，依據(jù)特定演繹規(guī)則，推導(dǎo)一系列的定理，從而構(gòu)成一個(gè)演繹系統(tǒng)的方法。公理化體系最早的例子是亞里士多德的三段論和歐幾里得的幾何學(xué)。
高三復(fù)習(xí)網(wǎng)英漢詞典收錄370961條英漢翻譯詞條，基本涵蓋了全部常用英語(yǔ)單詞的釋義及用法，是英語(yǔ)學(xué)習(xí)的有利工具。