数理逻辑与集合论

《清华大学计算机系列教材:数理逻辑与集合论(第2版)》共12章，前8章介缗数理逻辑，包括命题和谓词逻辑的基本概念、等值和推理演算、公理系统、模型论和证明论。后4章介绍集合论，包括集合、关系、函数、实数集与...

作为哲学的数理逻辑

作为现代哲学主流形式的分析哲学与作为现代逻辑基础的数理逻辑有着共同的起源。然而，随着各自的发展，两者自上世纪中叶以来逐渐分道扬镳。本书将展示分析哲学与数理逻辑在它们的“蜜月期”中共同取得的重要成...

分数阶混沌系统的控制与同步

本书主要分四大部分，第一大部分主要是概述和数学基础，第二大部分包括分数阶统一混沌系统的非脆弱模糊控制和模糊滑模控制，以及分数阶非线性系统的自适应模糊终端滑模控制，第三大部分包括分数阶混沌系统的非奇异...

基于格值逻辑的不确定性推理

本书较详细地介绍了不确定性推理的基本思想、概念和方法，着重介绍了作者在基于格值逻辑的不确定性推理方面的近期研究成果，主要包括基于格值一阶逻辑系统的不确定性推理理论和方法及在使用此方法过程中推理参...

图形和逻辑的故事 张远南先生献给中学生的礼物

本书分为“抽象中的形象——图形的故事”和“否定中的肯定——逻辑的故事”两部分。图形的故事介绍了拓扑学、运筹学、图论和射影几何等知识，展示了抽象与形象间的生动关系。逻辑的故事介绍了二进位制、逻辑...

一维空间上动力系统的绝对连续不变测度与斜率条件

书主要讨论混沌动力系统的遍历性质。首先引入一类相对简单但特殊的系统，讨论其不变测度的存在及稳定性，突出动力系统对斜率条件的要求。接着讨论了这一类系统的稳定性与斜率之间的关系，从算子谱的角度分析了斜...

数理逻辑引论与归结原理

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

强耦合双光学微腔系统中单粒子的操控与测量

本书包括：CAIDA宏观拓扑测量项目的测量技术及其拓扑数据的获取方法、宏观拓扑结构中新生与消亡节点特征、Internet宏观拓扑结构的进化特征、Internet宏观拓扑结构的自复制特征、Internet宏观拓扑结构的突变...

牛津逻辑手册布尔值模型及集合论中独立性的证明

非线性动力学引论 处处光滑与分段光滑系统的动力学特性

本书共分十章，内容包括：动力系统、平衡点的稳定性与分岔；保面积的二维映象；分段光滑系统的特征动力学行为；时间序列的非线性分析等。...