数理化
-
面向计算机科学的数理逻辑 系统建模与推理 modelling and reasoning about systems
(德)Michael Huth,(英)Mark Ryan著;何伟,樊磊译2007 年出版277 页ISBN:7111213971本书对计算机科学方面的数理逻辑进行了综合介绍,涵盖了命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软件和硬件规范和验证这一主题,反映了计算机科学中数理...
-
-
21世纪研究生创新教育规划教材 数值方法
李清善,宋士仓主编2007 年出版243 页ISBN:9787811065879本书重点介绍微积分、线性代数和微分方程等课程常用的数值计算的基本方法、算法设计、理论分析和实现技巧.内容包括函数插值、数据拟合、数值积分、数值微分、矩阵特征值计算、线性方程组的各种解法、非线性...
-
-
-
-
-
-
-
-
-
复变函数成功笔记 高教版
成功笔记系列丛书编写委员会编2007 年出版56 页ISBN:9787810739726本书是配合优秀教材《复变函数》而编写的辅导书,全书按教材的章节顺序编排,对教材中的重点、难点进行了细致的总结和讲解,并给学生留下了自己进行总结的空间,旨在帮助学生掌握《复变函数》的基本知识,达到将书读...
-
-
-
-
-
-
-
结构力学学习指导与解题精要
周欣竹等编著2007 年出版162 页ISBN:7508443497本书覆盖了结构力学课程教学的基本内容。例题题型多样,具有代表性,以基本题为主,全书共8章。本书可作为大专院校土木、建筑及水利等专业结构力学课程的辅助教材,也可供成教、职教和函授学生、自学人员、工程技...
-
-
-
-
-
-
化学复习指南暨习题解析
赵士铎,周乐,张曙生主编2007 年出版230 页ISBN:7811173883生物化学复习指南及学习题解是一本考研参考书:根据农学类研究生生物化学考试大纲的基本要求,精选出具有启发性、典型性和针对性的题目,许多典型例题都选自考研真题。...
本类热门