当前位置:首页 > 名称
大约有200项符合查询结果项。(搜索耗时:0.0055秒)
为您推荐: 蒲州梆子志 河北梆子传统剧目汇集 河北梆子传统剧目 山西临汾蒲剧院藏蒲州梆子抄录本 蒲州梆子 蒲州梆子抄录本
-
-
-
-
-
-
-
-
-
-
半符号逻辑 传统逻辑与符号逻辑的桥梁
张霭珠著2004 年出版220 页ISBN:7309042379本书共分7章,探索构件的一种新的逻辑推理体系——半符号化推理演绎体系。该体系集形式逻辑和数理逻辑二者之所长,在保留形式逻辑推理、演绎直观性的前提下,借助数理逻辑的符号演算体系进行逻辑推理。...
