数理逻辑引论与归结原理 【数理化】

本书在第1版的基础上进行修订再版，内容可分为4部分。第1部分讲述了与逻辑演算有密切关系的Boole代数理论，并以此为工具证明逻辑演算理论中的两个完备性定理。第2部分深入浅出地系统讲述命题演算与一阶谓词演...

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

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

非经典数理逻辑与近似推理 【数理化】

本书大部分内容是作者近期的研究成果，全书较系统地讲述了各种三值逻辑、n值逻辑以及连续值逻辑理论;为模糊命题演算建立了一套形式演绎系统;把模糊推理纳入了严格的逻辑轨道;从整体赋值出发，建立了积分语义学...

数理逻辑导引 【数理化】

本书旨在系统地引导数理逻辑一阶系统理论，包括一阶逻辑的三大基本特征定理：哥德尔完备性定理、紧致性定理、以及可数同质子结构存在性定理；并且以数这一基本常识观念为中轴线，包括自然数、整数、有理数、实数和...

中国汉字中的数字文化 【数理化】

本书从数字的趣味，分说从一到千、万等十四个数字（包括大写的数字和阿拉伯数字），介绍该数字的起源、意涵、故事、传说与乐谱、戏剧的关系，成语、数学计算、数字与量词组合，尤其是数字的简缩作用等所产生的名人、.....

数 科学的语言 为有文化而非专攻数学的人写的评论性概述 【数理化】

数：科学的语言 为有文化而非专攻数学的人写的评论性概述 【数理化】

可拓逻辑初步 【数理化】

本书系统地论述了可拓学的逻辑基础，包括可拓逻辑的基本概念、方法及其应用。首先介绍了知识表示的可拓模型，提出了形式化表示知识的可拓方法、论述了概念、命题、信息和知识的可拓模型及其可拓性。接着讨论了...

数理逻辑基础 【数理化】

本书是数理逻辑的有名经典著作之一，内容包括四章：第一章为命题演算，介绍基本逻辑联结词及其各种性质，并就命题演算而给出一个公理体系，证明其不矛盾性，完备性及互相独立性．第二章为类演算，兼讨论如何从类演算......

文化的数学 【数理化】

本教材摈弃传统的纯高等数学知识的传授，而是通过日常生活中出现的问题，引入相关数学的知识，运用数学的思想和方法解决实际问题，从而展现数学的无穷魅力。本教材不是纯理论介绍，而是作为吸引学生学习数学的“引子...