当前位置:首页 > 名称
大约有426,388项符合查询结果项。(搜索耗时:0.4527秒)
为您推荐: 算子符号与 转换 哈密顿算子与拉普拉斯 sin与cos转换 论公共行政与 法学范式转换15 算子方程及其投影近似解 科学史新论 范式更新与视角转换
-
-
半符号逻辑 传统逻辑与符号逻辑的桥梁
张霭珠著2004 年出版220 页ISBN:7309042379本书共分7章,探索构件的一种新的逻辑推理体系——半符号化推理演绎体系。该体系集形式逻辑和数理逻辑二者之所长,在保留形式逻辑推理、演绎直观性的前提下,借助数理逻辑的符号演算体系进行逻辑推理。...
-
-
-
-
-
-
-
-
学科分类
出版时间
