当前位置:首页 > 名称
大约有200项符合查询结果项。(搜索耗时:0.0051秒)
为您推荐: 老北京小吃 老北京的风味小吃和历史渊源 小吃 舌尖上的中国美食小吃文化名家说名吃家常菜谱大全食谱做饭的书 沿街尝 回家做 街边小吃炮制全攻略 白案面点小吃制作技法
-
-
-
-
-
-
-
-
-
-
半符号逻辑 传统逻辑与符号逻辑的桥梁
张霭珠著2004 年出版220 页ISBN:7309042379本书共分7章,探索构件的一种新的逻辑推理体系——半符号化推理演绎体系。该体系集形式逻辑和数理逻辑二者之所长,在保留形式逻辑推理、演绎直观性的前提下,借助数理逻辑的符号演算体系进行逻辑推理。...
