当前位置：首页 > 名称
大约有20,000项符合查询结果项。（搜索耗时：0.0213秒）
为您推荐： 农民调查 农民调查报告 中国农民调查 中国农民调查报告 中国农民调查春桃 农民工检测调查报告
-
-
半符号逻辑 传统逻辑与符号逻辑的桥梁
张霭珠著2004 年出版220 页ISBN：7309042379本书共分7章，探索构件的一种新的逻辑推理体系——半符号化推理演绎体系。该体系集形式逻辑和数理逻辑二者之所长，在保留形式逻辑推理、演绎直观性的前提下，借助数理逻辑的符号演算体系进行逻辑推理。...
-
-
-
-
-
-
-
数理逻辑的思想与方法
李娜著2012 年出版326 页ISBN：9787310040308本书共分6章。第一章介绍了运算的基本思想与方法；第二章至第四章介绍了命题逻辑的思想和方法；第五六章介绍了狭谓词逻辑的基本思想与方法。...
-
证明与反驳 数学发现的逻辑
（英）伊姆雷·拉卡托斯（Imre Lakatos）著；方刚，兰钊译2007 年出版193 页ISBN：7309053974本书主要研究数学方法论问题。数学知识如何增长？是靠一成不变地增加千真万确的定理的数目，还是按照证明与反驳的逻辑不断改进等。