面向计算机科学的数理逻辑

系统与控制中的随机方法

本书内容分为三部分。第一部分介绍参数估计及贝叶斯方法；第二部分介绍随机系统的滤波、控制及优化方法；第三部分以无线传感器网络的目标探测与跟踪为例，介绍如何利用前两部分中的知识和方法进行系统的设计、性...

趣题大师的逻辑训练

为纪念2010年5月22日离世的数学科普大师马丁·加德纳，将原“加德纳趣味数学系列”丛书精选后重新包装出版。

数理逻辑与数学基础习题集

测试你的逻辑推理能力

信息、智能与逻辑：第1卷

本书是在“首届信息、智能与逻辑高级学术论坛”讨论成果的基础上重新写作编辑而成的。全书分为通论、特论、论坛档案三大部分，收集了10篇信息、智能与逻辑的重要文章以及本次论坛的有关文件资料。...

缺省逻辑的扩充

本书首先从形式上较为简单的有限的无前提正规闭缺省理论入手，系统的研究了有限的无前提正规闭缺省理论的相容扩充，对相容扩充进行了分类；同时，对缺省规则固定时，缺省理论可能有的不同相容扩张的个数进行了估计。...

线性系统的 A，B 特征子空间与大系统分散控制

结构随机跳变系统理论及其应用

本书的主要内容是以结构随机跳变系统的系统分析、估计和控制及其应用为核心问题展开。首先，全面系统地介绍了先验概率密度函数服从推广Focker-Planck-Kolmogorov方程的混合随机过程以及当有观测情况时后验概...

数学家的逻辑

本书是数理逻辑的基础读物，对递归论、公理集合论、模型论、证明论与逻辑演算五部分的基本内容、方法作了实质性的介绍。