当前位置：首页 > 名称
大约有9,000项符合查询结果项。（搜索耗时：0.0199秒）
为您推荐： 科学推理 逻辑与 思维方法 门萨横向思维与逻辑推理 门萨横向思维与逻辑推理 智力大师 门萨横向思维与逻辑推理 修订本 科学逻辑逻辑推理 溯因推理 从逻辑探究发现与解释
-
-
GMAT逻辑推理 分类思维训练及试题解析
陈向东编著2013 年出版519 页ISBN：9787560550442本书对GMAT、GRE与LSAT逻辑推理题之间做了比较，详细讲解了GMAT逻辑推理题的考查内容及问题目的类型，出题原则及解题步骤。详细给出各类逻辑推理题的思维训练并给出GMAT考前逻辑推理冲刺训练试题及解析。...
-
假设与推理 科学探究方法论
张继华著2016 年出版193 页ISBN：9787220097652本书利用现代逻辑所提供的技术、方法和观念，研究了归纳推理和溯因推理的不同类型，这是应用现代逻辑方法对传统逻辑理论中推理模式的新研究。从认知角度，运用最新的信息动态变化理论，对科学探究中的归纳推理、溯...
-
面向计算机科学的数理逻辑 系统建模与推理 modelling and reasoning about systems
（德）Michael Huth，（英）Mark Ryan著；何伟，樊磊译2007 年出版277 页ISBN：7111213971本书对计算机科学方面的数理逻辑进行了综合介绍，涵盖了命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软件和硬件规范和验证这一主题，反映了计算机科学中数理...
-
-
逻辑与演绎科学方法论导论
（波兰）塔尔斯基著；周礼全，吴允曾，晏成书译2017 年出版259 页ISBN：9787100005203本书是著名的逻辑学家塔尔斯基对于现代数理逻辑进行了系统阐述的著作。
-
-
-
-
