APP 是總結已有科學知識、構成科學理論體系的有效方法。它是先列出一些初始概念、一些初始符號、一組公理(亦稱設理),幾條形式規(guī)則和基本推理規(guī)則并以公理和初始概念為出發(fā)點,對所研究范圍內的一切概念給以定義,并推導出一系列 （本文共 423 字 ） [閱讀本文] >>
海量資源，盡在掌握
是總結已有科學知識、構成科學理論體系的有效方法。它是先列出一些初始概念、一些初始符號、一組公理(亦稱設理),幾條形式規(guī)則和基本推理規(guī)則并以公理和初始概念為出發(fā)點,對所研究范圍內的一切概念給以定義,并推導出一系列 （本文共 423 字 ） [閱讀本文] >>
說明： 本文檔由創(chuàng)作者上傳發(fā)布，版權歸屬創(chuàng)作者。若內容存在侵權，請點擊申訴舉報
