当前位置:首页 > 计算机科学引论 2008相关PDF电子书下载
-
-
-
-
-
-
-
详解MATLAB工程科学计算与典型应用
周灵编著2010 年出版362 页ISBN:9787121109928本书结合高校数学课程教学和工程科学计算应用的需要,从实用角度出发,通过大量的算法实现和典型应用实例,详尽系统地讲述MATLAB在线性方程组求解、矩阵特征值计算、求导与微分计算、积分计算、非线性方程求解、...
-
Excel与科学计算
汪远征主编2011 年出版236 页ISBN:9787300137711在现代科学和工程技术中,经常会遇到大量复杂的科学计算问题,这些问题用一般的计算工具来解决非常困难,而用计算机来处理却非常容易。Excel是一个被广泛使用的电子表格应用程序。几乎每个理工科专业的学生在大...
-
-
面向计算机科学的数理逻辑 系统建模与推理 modelling and reasoning about systems
(德)Michael Huth,(英)Mark Ryan著;何伟,樊磊译2007 年出版277 页ISBN:7111213971本书对计算机科学方面的数理逻辑进行了综合介绍,涵盖了命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软件和硬件规范和验证这一主题,反映了计算机科学中数理...
