新型量子逻辑 确定性逻辑的超越 【数理化】

数字与逻辑的秘密 【数理化】

本书是系列科普读物《幻想数学大战》的一种。讲的是知修大败阿修罗，可自己也受了伤。丽莎为了拯救美丽世界，做了暗黑祭司，不能医治受伤的知修了。前往毛利亚的乔伊等人陷入了逻辑军团的陷阱。知修能拯救丽莎吗...

幻想数学大战 11 数字与逻辑的秘密 【数理化】

本书系趣味性数学儿童读物，巧妙地把数学知识与故事结合起来，是学龄儿童课外学习用书，该书通过有趣的故事情节激发儿童对数学的兴趣，步步深入，循序渐进、轻松易懂，非常有助于激发孩子的阅读兴趣，同时学习数学知......

数学教育中的建构主义 【数理化】

本书侧重从哲学的角度对建构主义进行理论分析，即从数学哲学的角度分析建构主义的合理性。在对认知建构主义，激进建构主义，社会建构主义进行梳理的基础上深入探讨了它对数学教育的积极意义和局限性，回答了这样一...

数字逻辑 【数理化】

本书介绍了数字与编码，逻辑代数等。

GMAT批判性推理 逻辑分类精讲 【数理化】

GMAT批判性推理是以非形式逻辑作为依托，希望考生正确识别一个论证的结构，继而准确找到当前论证结构的评估方式，最终选出正确的答案。本书正是以批判性推理题型所考查的非形式逻辑作为基础编写的，共九章，前面八章...

互逆主义逻辑、数学和它们的应用 【数理化】

本书分别介绍互逆主义的逻辑演算、集合论、抽象代数、证明论与模型论、递归论。数理逻辑的三大派都是为了克服悖论而提出，互逆主义用两种方法排除悖论，以，把元素与集合分为三层，二、认为空集与全集是特异集合，对...

玩转数学 数字逻辑和数字谜题 【数理化】

数字的美妙在于简单和重复，你会因为它的不断重复而感到乏味和有规律可循呢？要想解开数字的谜题，没有严谨的数字思维逻辑是不行的。本书精选了极具代表性的数字思维游戏，锻炼你的应用多向度发散思维、创新求异思...

数学极客 探索数字 逻辑 计算之美 【数理化】

Mark C. Chu-Carroll是世界上较早的数学博主之一，他能够引导读者愉快地、不经意地理解复杂的概念。在本书中，他使用相同的技巧为读者带来一场别开生面的数学之旅，从数字的基本概念一直到计算机程序设计的最新...

互逆主义数理逻辑 【数理化】

本书将互逆主义研究应用于数理逻辑中，将地规论、辩证论用于计算机人工智能领域的教学和科研过程。