模拟仿真相关图书会按更新时间、出版时间和评分持续整理,适合从主题维度系统浏览。
可计算性与数理逻辑
布勒斯
评分 8.5分
本书是一本经典的逻辑教书,第四版已经过全面修订,提高了可读性。全书主要论述了可计算性理论、基础元逻辑及一些高级专题。此书同样适用于没有数学背景知识的学生,不仅包括了中等深度的逻辑教程所讨论的基本专题,如歌德尔不完全性定理等,而且涉及了从图灵的可计算性理论到Ramsey定理的大量选题,因而已成为一个本经典的教科书。该书在每章末尾还增加了习题,并重新组织和改写了某些章,以使各章更加相互独立,增加了教师
复杂系统建模与仿真
方美琪 张树人
评分 7分
当今社会不同学科的相互沟通、交叉、渗透和综合成为主要趋势,新学科大多是综合性科学。重新统一的科学作为一种系统,要求有一种能把现有纵向划分的学科沟通连缀起来的横断学科,提供不同学科都使用的概念、原理和方法,使科学在整体上具有纵横交错的网络结构。系统科学就是这种横断科学,它的科学使命是使新型科学成为一个按多维网络结构组织起来的复杂巨系统,是一种新型跨学科的学问。 基于社会的需要,我们请长期这方面研