当前位置:首页 > 名称

大约有400项符合查询结果项。(搜索耗时:0.0079秒)

为您推荐: 新编归纳逻辑导论 归纳逻辑学导论 归纳逻辑导论 归纳逻辑的哲学问题 归纳逻辑 归纳逻辑与 悖论

  • 数理逻辑论文选 第1辑

    外文书店编辑1958 年出版582 页ISBN:

  • 面向计算机科学的数理逻辑

    陆钟万著1998 年出版258 页ISBN:7030060652

  • 否定中的肯定 逻辑的故事

    张远南编1990 年出版138 页ISBN:7542702416

    暂缺《偶然中的必然:概率的故事》简介

  • 面向计算机科学的数理逻辑

    陆钟万著1989 年出版240 页ISBN:7301008287

  • 互逆主义数理逻辑

    周训伟著2004 年出版398 页ISBN:7504614319

    本书将互逆主义研究应用于数理逻辑中,将地规论、辩证论用于计算机人工智能领域的教学和科研过程。

  • 趣题大师的逻辑训练

    乔治J.萨默斯著2010 年出版119 页ISBN:9787542851017

    为纪念2010年5月22日离世的数学科普大师马丁·加德纳,将原“加德纳趣味数学系列”丛书精选后重新包装出版。

  • 测试你的逻辑推理能力

    (美)乔治 J.萨默斯(George J. Summers)著;林自新译1999 年出版115 页ISBN:7542819267

  • 相似数学逻辑

    黄忠裕,赵焕光编著2010 年出版244 页ISBN:9787030287113

    本书主要介绍相似数学逻辑,主要内容包括数学概念,数学命题,数学推理,数学证明,逻辑基础等。本书可作为从事数学专业学习与工作的有关人员的数学认识论的入门参考书,也可作为从事其它专业工作的数学业余爱好者的.....

  • 数理逻辑的思想与方法

    李娜2006 年出版326 页ISBN:7310023730

    本书主要介绍了集合、集合运算的基本思想和方法、命题逻辑的思想和方法、一阶谓词逻辑的思想和方法等内容。

  • 缺省逻辑的扩充

    傅丽著2006 年出版118 页ISBN:7504644242

    本书首先从形式上较为简单的有限的无前提正规闭缺省理论入手,系统的研究了有限的无前提正规闭缺省理论的相容扩充,对相容扩充进行了分类;同时,对缺省规则固定时,缺省理论可能有的不同相容扩张的个数进行了估计。...

返回顶部