半符号逻辑 传统逻辑与符号逻辑的桥梁

本书共分7章，探索构件的一种新的逻辑推理体系——半符号化推理演绎体系。该体系集形式逻辑和数理逻辑二者之所长，在保留形式逻辑推理、演绎直观性的前提下，借助数理逻辑的符号演算体系进行逻辑推理。...

破译生死密码 传奇女法医冯雪破案实录

本书是我国著名女法医冯雪的破案实录。作为公安机关的一名女法医，她先后办理各类案件2000余起，其中疑案、悬案就有300多起，被中央电视台等新闻媒体誉为“传奇女法医”、“法医女神探”。本书所选案例涉及法医...

形式逻辑与数理逻辑比较研究

语言、逻辑与认知：语言逻辑和语言哲学论集

MBA联考逻辑与写作一本通关 逻辑部分

亲亲宝贝成长启蒙口袋书 急智破案故事

本书编选了情节离奇，扣人心弦的破案故事，让孩子通过揣摩悬念丛生的案情，来寻找狡猾嫌犯的蛛丝马迹，巧妙地揭开一个个错综复杂的案情真相，从而成为福尔摩斯式的“侦探高手”。引人入胜的破案故事让孩子开动脑筋，.....

一分钟破案大全

《一分钟破案大全》精选了百余个情节曲折、惊险离奇的侦探破案故事，让你看见以前从未注意的方方面面，并成长为一个出色的观察能手；你会探究到数理逻辑、空间逻辑、思维逻辑等知识，逐渐成长为一个逻辑学大师；你会...

大开眼界的数学 数字缉凶 美剧中的数学破案

本书内容来自美国犯罪连续剧《数字追凶》，作者使用非技术性的方式描述执法机构使用的一些主要的数学技巧，书中的大部分内容与《数字追凶》的剧情相联系。...

侦查骨干谈侦查

《侦查骨干谈侦查》是由最高人民检察院渎职侵权检察厅组织编写的渎职侵权案件侦查骨干的办案心得和体会。这些侦查人才都是工作在反渎职侵权战线前沿的侦查员，都是从反渎职侵权实务中成长起来的具有丰富侦查...

人的逻辑与物的逻辑 重思辩证法和形式逻辑的关系