是總結(jié)已有科學(xué)知識、構(gòu)成科學(xué)理論體系的有效方法。它是先列出一些初始概念、一些初始符號、一組公理(亦稱設(shè)理),幾條形式規(guī)則和基本推理規(guī)則并以公理和初始概念為出發(fā)點(diǎn),對所研究范圍內(nèi)的一切概念給以定義,并推導(dǎo)出一系列 (本文共 423 字 ) [閱讀本文] >>
海量資源,盡在掌握
 是總結(jié)已有科學(xué)知識、構(gòu)成科學(xué)理論體系的有效方法。它是先列出一些初始概念、一些初始符號、一組公理(亦稱設(shè)理),幾條形式規(guī)則和基本推理規(guī)則并以公理和初始概念為出發(fā)點(diǎn),對所研究范圍內(nèi)的一切概念給以定義,并推導(dǎo)出一系列 (本文共 423 字 ) [閱讀本文] >>