当前位置:首页 > 名称
大约有44,848项符合查询结果项。(搜索耗时:0.1771秒)
为您推荐: 科学逻辑逻辑推理 科学推理 逻辑与 思维方法 科学统计推理 科学推理的逻辑 推理 密室推理
-
面向计算机科学的数理逻辑 系统建模与推理 modelling and reasoning about systems
(德)Michael Huth,(英)Mark Ryan著;何伟,樊磊译2007 年出版277 页ISBN:7111213971本书对计算机科学方面的数理逻辑进行了综合介绍,涵盖了命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软件和硬件规范和验证这一主题,反映了计算机科学中数理...
-
-
-
图形推理+定义判断+类比推理
张永生,张成,邓湘树等编著2009 年出版276 页ISBN:9787802087804本书从五个方面,详尽介绍和解答了行政职业能力测验考试的对策、易犯错误、注意问题等,对考生大有帮助。
-
-
-
-
-
推理魔方 每天一个推理故事
岳帆编著2010 年出版230 页ISBN:9787802107052本书精编365个推理故事,一个故事一次推理,一次推理一次启迪,一次启迪一次健脑。全书通过六个模板,对大脑进行全方位训练,旨在提高青少年思维能力。...
-
学科分类
出版时间
