公理化方法
1999-07

是总结已有科学知识、构成科学理论体系的有效方法。它是先列出一些初始概念、一些初始符号、一组公理(亦称设理),几条形式规则和基本推理规则并以公理和初始概念为出发点,对所研究范围内的一切概念给以定义,并推导出一系列......     (本文共 423 字 )     [阅读本文]>>



更多同类【科学技术】......
词 典