计算智能中的仿生学：理论与算法

本书从模拟智能生成过程的观点讲述模拟进化计算理论，从模拟智能结构的观点讲述人工神经网络理论，从模拟智能行为的观点讲述模糊逻辑与模糊推理。 ...

并行分布计算中的调度算法理论与设计

本书着重研究了一般DAG任务图的启发式调度算法、静态与动态相结合的混合调度算法以及面向AND/OR优先约束关系的调度问题，并探讨和提出了一些很新颖的调度算法。...

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

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

数理逻辑基础：一阶逻辑与一阶理论

数理逻辑基础 一阶逻辑与一阶理论

本书介绍数理逻辑的基础部分。

集论与逻辑 面向计算机科学

21世纪高等院校教材:本书由基础集论与经典逻辑两部分内容组成。集论部分阐述了公理化思想及构造性技巧，对“关系演绎”及“归纳与速归”两个板块。逻辑部分介绍了完备性定理的证明、紧性定理及下降型的L-S定...

经济和金融数学模型的理论与实践

经济和金融数学模型的理论与实践

数值计算的算法与分析

魔方的科学和计算机表现

本书内容包括魔方和洛方、魔方和八卦、魔方转动概念、魔方和点群、魔方投影和置换表示、魔方状态函数等。