FBI逻辑推理学

本书主要从三段推理、形神推理、连锁推理、驳谬推理、归纳推理、同异推理、假设推理、逆向推理八个方面入手，结合FBI的生动鲜活案例，陈述了大量逻辑推理学知识，用贴近生活的知识将生僻抽象的逻辑学知识生动化，...

罗素教你学命题和逻辑

本书通过学过的各种图形定义和性质、数的种类等内容，生动有趣地阐述了生硬烦难的命题和逻辑故事。将命题和集合联系起来思考，仔细了解了判断命题正确错误的过程。另外，通过罗素老师讲的有趣故事，学生们知道了让...

信息学、语言学、数学与逻辑一本通 上

本书共分7部分，分别介绍了C++语言、信息学与数学、信息学基础、数据结构、数学与逻辑、高级数据结构等内容。本书适合于高等学校计算机相关专业学生和计算机爱好者参考使用，也可作为计算机培训学校的培训教材...

数学逻辑基础：微积分学的观点方法和假设

本书首创度量三结合原理，从而达到运用辩证逻辑讲述量的度量，使得在量的度量中，既给出量的整体量表值，又给出与整体相关的各部分量的表值，使微分和积分在数学中才真正地获得自己的表值。...

逻辑与数学逻辑论

逻辑与数学逻辑论

现代逻辑与传统逻辑

现代归纳逻辑与概率逻辑

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

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

新型量子逻辑 确定性逻辑的超越