当前位置：首页 > 名称
大约有8,000项符合查询结果项。（搜索耗时：0.0168秒）
为您推荐： 溯因推理 从逻辑探究发现与解释 持续执政的逻辑 从制度文化发现中国历史 科学推理 逻辑与 思维方法 香象渡河 龙头战法逻辑探究与案例分析 基本逻辑学 思维与表达正确性问题探究 门萨横向思维与逻辑推理
-
-
假设与推理 科学探究方法论
张继华著2016 年出版193 页ISBN：9787220097652本书利用现代逻辑所提供的技术、方法和观念，研究了归纳推理和溯因推理的不同类型，这是应用现代逻辑方法对传统逻辑理论中推理模式的新研究。从认知角度，运用最新的信息动态变化理论，对科学探究中的归纳推理、溯...
-
-
非经典数理逻辑与近似推理
王国俊著2000 年出版305 页ISBN：7030085442本书大部分内容是作者近期的研究成果，全书较系统地讲述了各种三值逻辑、n值逻辑以及连续值逻辑理论;为模糊命题演算建立了一套形式演绎系统;把模糊推理纳入了严格的逻辑轨道;从整体赋值出发，建立了积分语义学...
-
证明与反驳 数学发现的逻辑
（英）伊姆雷·拉卡托斯（Imre Lakatos）著；方刚，兰钊译2007 年出版193 页ISBN：7309053974本书主要研究数学方法论问题。数学知识如何增长？是靠一成不变地增加千真万确的定理的数目，还是按照证明与反驳的逻辑不断改进等。
-
非经典数理逻辑与近似推理 第2版
王国俊著2008 年出版304 页ISBN：7030212959本书大部分内容是作者近年来的研究成果。全书系统地讲述了各种三值逻辑、n 值逻辑以及连续值逻辑理论；为模糊命题演算建立了一套形式演绎系统；把模糊推理纳入了严格的逻辑轨道；从整体赋值出发，建立了积分语义学...
-
-
-
-
面向计算机科学的数理逻辑 系统建模与推理 modelling and reasoning about systems
（德）Michael Huth，（英）Mark Ryan著；何伟，樊磊译2007 年出版277 页ISBN：7111213971本书对计算机科学方面的数理逻辑进行了综合介绍，涵盖了命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软件和硬件规范和验证这一主题，反映了计算机科学中数理...
学科分类