面向21世纪课程教材 信息管理与信息系统专业教材系列 运筹学基础及其MATLAB应用

本书最大的特色是突出应用以及与Matlab的结合。本书中有较大量的数学建模实例以及给出了各种算法的Matlab程序，具有很强的可操作性。

基于不确定规则的模糊逻辑系统 导论与新方向

本书在简要介绍一型模糊集理论的基础上, 系统地讲述了二型模糊集的概念、表示、运算等基础理论，并由此发展了相对完善的二型模糊逻辑系统(FLS)理论，包括二型关系的合成、二型模糊集重心的计算、二型FLS的降型...

具有三种否定的模糊集与模糊逻辑的理论及其应用

本书是一部研究型的具有原创性的专著，全书共分7章。第1章主要介绍知识处理与知识研究概况；第2章讨论研究模糊性对象的一般理论与方法，其中2.1.3、2.2.4和2.2.5节为我们的专题研究结果；第3章讨论关于模糊性对象...

面向计算机科学的数理逻辑 系统建模与推理 modelling and reasoning about systems

本书对计算机科学方面的数理逻辑进行了综合介绍，涵盖了命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软件和硬件规范和验证这一主题，反映了计算机科学中数理...

最大似然估计法 逻辑与实践

《最大似然估计法：逻辑与实践》是“格致方法·定量研究系列”丛书之一。本书是最大似然估计法的入门级读物。作者斯科特·伊莱亚森介绍了除正态分布之外的其他重要连续分布，并进一步讨论了不同的最大似然统计...

气相色谱专家系统 最佳柱系统的选择及其软件

数理逻辑及其应用

逻辑代数基础及其应用

逻辑代数及其应用

哈密顿系统的指标理论及其应用