当前位置：首页 > 名称
大约有10,000项符合查询结果项。（搜索耗时：0.0626秒）
为您推荐： 晚期资本主义的文化逻辑 数字资本主义建构逻辑的批判与超越 后现代主义 或晚期资本主义的文化逻辑 高校红色文化资源育人发展报告 马克思主义发展史 制度的逻辑
-
互逆主义逻辑、数学和它们的应用
周训伟著2013 年出版482 页ISBN：9787511716118本书分别介绍互逆主义的逻辑演算、集合论、抽象代数、证明论与模型论、递归论。数理逻辑的三大派都是为了克服悖论而提出，互逆主义用两种方法排除悖论，以，把元素与集合分为三层，二、认为空集与全集是特异集合，对...
-
-
-
-
数学基础研究三十年 1930至1964年数理逻辑和数学基础研究发展状况讲演录
（波）安德热依·莫斯托夫斯基（A.Mostowski）著；郭世铭译1983 年出版195 页ISBN：13255018 -
-
半符号逻辑 传统逻辑与符号逻辑的桥梁
张霭珠著2004 年出版220 页ISBN：7309042379本书共分7章，探索构件的一种新的逻辑推理体系——半符号化推理演绎体系。该体系集形式逻辑和数理逻辑二者之所长，在保留形式逻辑推理、演绎直观性的前提下，借助数理逻辑的符号演算体系进行逻辑推理。...
-
-
-
学科分类