当前位置：首页 > 名称
大约有80项符合查询结果项。（搜索耗时：0.0104秒）
为您推荐： 行书秘籍符号化练字 志飞习字 行书秘籍符号化练字 志飞习字图片 控笔训练字帖志飞习字行书技法秘籍数字化高效练字49法符号 行书秘籍高效练字49法 志飞习字 华夏万卷控笔训练行书字帖志飞习字高效练字49法符号化 华夏万卷行书字帖志飞习字高效练字49法
-
-
-
半符号逻辑 传统逻辑与符号逻辑的桥梁
张霭珠著2004 年出版220 页ISBN：7309042379本书共分7章，探索构件的一种新的逻辑推理体系——半符号化推理演绎体系。该体系集形式逻辑和数理逻辑二者之所长，在保留形式逻辑推理、演绎直观性的前提下，借助数理逻辑的符号演算体系进行逻辑推理。...
-
-
-
-
-
-
-
学科分类