当前位置:首页 > 名称
大约有486,970项符合查询结果项。(搜索耗时:0.5380秒)
为您推荐: 咬文嚼字的逻辑 正版图书 咬文嚼字2015合订本 title物理学咬文嚼字 卷3增补版 咬文嚼字2023年合订本 咬文嚼字 title咬文嚼字2003合订本 精
-
-
半符号逻辑 传统逻辑与符号逻辑的桥梁
张霭珠著2004 年出版220 页ISBN:7309042379本书共分7章,探索构件的一种新的逻辑推理体系——半符号化推理演绎体系。该体系集形式逻辑和数理逻辑二者之所长,在保留形式逻辑推理、演绎直观性的前提下,借助数理逻辑的符号演算体系进行逻辑推理。...
-
-
-
-
-
-
-
-
学科分类
出版时间