当前位置：首页 > 名称
大约有700项符合查询结果项。（搜索耗时：0.0095秒）
为您推荐： title逻辑学 从形式逻辑到非 逻辑 title b端产品经理必修课2.0从业务逻辑到 溯因推理 从逻辑探究发现与解释 逻辑之旅从哥德尔到哲学 王浩作品集 从1万到 亿 证券投资底层逻辑 持续执政的逻辑 从制度文化发现中国历史
-
-
-
-
-
-
半符号逻辑 传统逻辑与符号逻辑的桥梁
张霭珠著2004 年出版220 页ISBN：7309042379本书共分7章，探索构件的一种新的逻辑推理体系——半符号化推理演绎体系。该体系集形式逻辑和数理逻辑二者之所长，在保留形式逻辑推理、演绎直观性的前提下，借助数理逻辑的符号演算体系进行逻辑推理。...
-
现代逻辑学讲义 数理逻辑
李小五编著2005 年出版265 页ISBN：7306025880本书为高校教学用书。分数理逻辑与模态逻辑两部分。数理逻辑介绍了句子逻辑及一阶逻辑的基本内容；模态逻辑介绍句子层次上（命题型的）模态逻辑最基本的内容。...
-
-
-
学科分类