当前位置：首页 > 名称
大约有2,000项符合查询结果项。（搜索耗时：0.0091秒）
为您推荐： 冯契文集第六卷 中国古代哲学的逻辑发展 冯契文集第五卷 中国古代哲学的逻辑发展 逻辑学的发展 价值重构 读懂工业互联网发展逻辑 title国际象棋 儿童数理逻辑思维发展启蒙教程 寻找生命的逻辑 生物学观念 发展
-
目标与代价 当代中国现代化的发展逻辑
周显信著2003 年出版581 页ISBN：701004094X本书以我国社会主义现代化的发展目标为中心，以马克思主义的世界观、价值观和方法论为分析工具，以我国社会转型时期的代价问题为逻辑主线，以遏止和减少代价为研究重点，敢于碰重大的现实问题，严肃、认真、大胆地提...
-
-
-
-
数理逻辑引论与归结原理
王国俊著2003 年出版216 页ISBN：7030115791本书分4部分，第一部分讲述与演算有密切关系的Boole代数理论，并以此为工具证明逻辑演算理论中的两个完备性定理；第二部分深入浅出地系统讲述命题演算与一阶谓词演算理论；第三部分清楚而严谨地讲述归结原理理论，给...
-
国外计算机科学教材系列 可计算性与数理逻辑
（美）布勒斯（Boolos，G.S.）等著2003 年出版356 页ISBN：7505388282本书主要论述了可计算机性理论、基础元逻辑及一些高级专题。该书在每章末尾还增加了习题，并重新组织和改写了某些章节，以使各章更加相互独立，增加了教师授课的灵活性，进而扩大了本书的使用范围。...
-
-
-
-
