面向计算机科学的数理逻辑 系统建模与推理 modelling and reasoning about systems
(德)Michael Huth,(英)Mark Ryan著;何伟,樊磊译2007 年出版277 页ISBN:7111213971
本书对计算机科学方面的数理逻辑进行了综合介绍,涵盖了命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软件和硬件规范和验证这一主题,反映了计算机科学中数理...
(英)柯南·道尔著;张义译2014 年出版82 页ISBN:9787506067157
本书以福尔摩斯和他的助手华生为主人公,讲述了一桩桩发生在他们身边的离奇案件。福尔摩斯机智勇敢,擅长运用细致的观察和缜密的推理揭开案件真相;华生则温暖热情,他记录下了福尔摩斯破案的详细过程。小朋友们可...
(瑞士)弗里德里希·迪伦马特著;张佩芬译2012 年出版175 页ISBN:9787501449538
本书内容包括瑞士侦探小说家迪伦马特的两篇代表作《诺言》和《嫌疑》。在《嫌疑》中,医生洪格尔托贝尔看到杂志中的一张关于纳粹集中营的照片时,脸色苍白得像死人。原来,照片中在集中营实施残忍手术的人酷似他...
(英)柯南·道尔著;张义译2014 年出版85 页ISBN:9787506067454
《推理文学:福尔摩斯系列》以福尔摩斯和他的助手华生为主人公,讲述了一桩桩发生在他们身边的离奇案件。福尔摩斯机智勇敢,擅长运用细致的观察和缜密的推理揭开案件真相;华生则温暖热情,他记录下了福尔摩斯破案的...
(英)柯南·道尔著;张义译2013 年出版84 页ISBN:9787506067478
《推理文学:福尔摩斯系列》以福尔摩斯和他的助手华生为主人公,讲述了一桩桩发生在他们身边的离奇案件。福尔摩斯机智勇敢,擅长运用细致的观察和缜密的推理揭开案件真相;华生则温暖热情,他记录下了福尔摩斯破案的...
赵建吉2016 年出版146 页ISBN:9787551713054
近年来,不确定环境下知识表达、知识获取及推理成为不确定性人工智能的研究热点,贝叶斯网络等人工智能方法为各领域中的不确定性决策问题提供有效的工具和方法。本文根据认知科学人工智能领域的新发展要求,以从...
2015 公务员录用考试名家讲义配套题库 判断推理考前必做1000题 第9版
华图教育编著2014 年出版278 页ISBN:9787504184290
本书共分为三个部分。第一部分是考点?题型分类精练,本部分将公务员考试中出现过的判断推理部分题目按照考点和题型进行了分类,让考生在了解公务员考试题特点的同时,了解自己的知识水平和能力。第二部分是经典...
公务员录用考试华图名家讲义配套题库 判断推理考前必做1000题 2012最新版 华图版
易定宏作;华图公务员考试研究中心合著2011 年出版248 页ISBN:9787550203068
本书以国考、省考等对象,按照考试内容分为言语理解与表达、数量关系、判断推理、资料分析、常识判断五大模块题库;选择国考、省考近三年真题,按照难度、考查频度对真题进行分类梳理,并配以详细答案解析;每一题库...
2015第9版 模块宝典 公务员录用考试华图名家讲义系列教材 判断推理模块宝典
付连奎,伍景玉编著2014 年出版299 页ISBN:9787504184351
本书书以2013年最新国考考试大纲为参考,具有很强的针对性、指导性和实用性,是一本公职类考试的优秀辅导教材。该书内容上将理论讲解与作答实践相结合,上篇(共四章)以前者为主,并以近年真题为例进行进一步解说;......
危文高著2018 年出版247 页ISBN:9787513058315
第一章为导论部分,主要讨论法律方法上的理论困惑,即对于法的发现与法的创造之间难有清晰的界分,以及由此引发的自由裁量权和价值判断任意性的担忧。法律具有不同其他规范的独特性吗?进而我们可以追问,法律推理是...