符号逻辑 语法语义和证明 【数理化】

本书从逻辑学的两个核心概念“命题”和“论证”出发，论述了符号逻辑学的两套推理（命题逻辑和谓词逻辑）使用的两种规范语言，以及相应的推导规则。命题逻辑系统具有可判定性，真值表方法和真值树方法都能够为命题、...

国外计算机科学教材系列 可计算性与数理逻辑 【数理化】

本书主要论述了可计算机性理论、基础元逻辑及一些高级专题。该书在每章末尾还增加了习题，并重新组织和改写了某些章节，以使各章更加相互独立，增加了教师授课的灵活性，进而扩大了本书的使用范围。...

代数学思想史的文化解读 从结绳记事到无穷集合 【数理化】

多元视野中的化学 化学·历史·哲学·文化·社会 【数理化】

本书从历史、哲学、文化和社会诸多角度对化学做出多元的诠释，使我们从更深层次上认识到化学不仅是关于物质变化的一门中心科学，而且是一门历史科学。...

实用逻辑斯谛回归方法 【数理化】

逻辑斯谛回归是最常用的统计方法之一，应用于医疗统计、信用评级、社会统计、计量经济学等诸多领域。本书结合SAS软件和R软件等，简介逻辑斯谛回归方法的理论及应用，全书共分6章，分别介绍统计模型、单一预测的逻...

多值逻辑函数结构理论研究 【数理化】

本书总结和概括了作者及其导师在国家自然科学基金等资助下，近20年来从事多值逻辑理论研究的主要成果。全书较系统地介绍了完全和部分多值逻辑函数的结构理论；较详细地介绍了部分多值逻辑中Sheffer函数的判定...

数理逻辑 基本原理与形式演算 第2版 【数理化】

本书的内容共分十章，系统介绍数理逻辑的基本原理与形式演算。前五章涵盖了经典数理逻辑的核心内容，包括一阶语言的语法与模型，形式推理系统，可计算性与可表示性，哥德尔定理。后五章的内容是作者的研究成果。这部...

西方数学文化视野下的数字化革命 【数理化】

本书共四章，主要内容：大希腊哲学的数学背景及本体观念的形成；科学思维方法的形成及其哲学背景；现代数学与哲学对数字化世界的作用及影响；数学化世界技术原理的社会文化特性。...

无穷之旅 关于无穷大的文化史 【数理化】

本书得到国家自然科学基金委员数学天元基金的资助。本书包括四篇：“第一篇 数学的无穷大”、“第二篇 几何的无穷大”、“第三篇 美学的无穷大”和“第四篇 宇宙学的无穷大”。...

右手，左手：大脑、身体、原子和文化中不对称性的起源 【数理化】