本书是数理逻辑方面的经典教材。书中涵盖了命题逻辑、不可判定性以及二阶逻辑等方面的内容，并且包含了与计算机科学有关的主题，如有限模型。本书特点是：内容可读性强；组织结构更灵活，授课都是可根据教学需要节选本书的内容：反映了近几年来理论计算机科学对逻辑学产生的影响；包含较多的示例和习题。本书适合作为数学、......
偏微分方程是构建科学、工程学和其他领域的数学模型的主要手段。一般情况下，这些模型都需要用数值方法去求解。本书提供了标准数值技术的简明介绍。借助抛物线型、双曲线型和椭圆型方程的一些简单例子介绍了常用的有限差分方法、有限元方法、有限体方法、修正方程分析、辛积分格式、对流扩散问题、多重网格、共轭梯度法。利......
本书循序渐进地介绍了3ds max 7中文版的常用功能及应用技巧，内容包括基本几何形体的建立、修改功能的应用、2D转3D功能造型、高级建模技巧、材质编辑技巧、灯光和摄影机的运用以及动画制作等。 本书在讲解过程中，采用对比的方式，通过大量实例对3ds max 7中文版中常用功能的参数设置进行了详细讲......
本书是《计算机应用基础》一书的配套教材，用于辅助实践教学，也可单独作为计算机基础及应用课程的实习实训、上机练习和指导教材。 本书内容包括操作系统知识、Word 2000文字处理、Excel 2000电子表格、PowerPoint 2000演示文稿、网页设计与制作基础等方面的实验以及大量具有代表性......
本书介绍了图论的常用主题，同时也包含一些尚需进一步研究或未解决的议题，用于激发学生的创新能力。全书共分13章，前3章介绍一些基础知识，后面章节介绍了树、连通性、可遍历性、子图、匹配和因子分解、可平面性、图的着色、拉姆齐数、距离及控制等内容。本书内容全面，证明与应用实例并举，还给出了证明技巧，书的最后......
偏微分方程地构建科学、工程学和其他领域的数学模型的主要手段。一般情况下，这些模型都需要用数值方法去求解。本书提供了标准数值技术的简明介绍。借助抛物线型、双曲线型和椭圆型方程的一些简单例子介绍了常用的有限差分方法、有限元方法、有限体方法、修正方程分析、辛积分格式、对流扩散问题、多重网络、共轭梯度法。利......
本书对于高等微积分的一些经典结果作了现代化的处理，利用微积分流行及外微分形式，简明而系统地讨论了多元函数的微积分。本书写得深入浅出，论证比较严格，而且易于理解。书中的最后提供了由中译者所作的部分习题解答或提示。 本书译稿经北京大学张恭庆同志审校。 本书可供数学工作者和高等院校有关专业师生参考。...
本书在《矩阵分析 卷1》基础之上，详尽叙述了卷1未能包括的又具有极高应用价值的论题。这些论题包括：值域、稳定矩阵和惯性、奇异值、矩阵议程和kronecker乘积、Hadamard乘积、矩阵和函数。 本书可作为数学及工程领域的研究生和研究人员的深入学习矩阵理论的教科书或参考书。...
本书内容包括概论、数理统计两部分，涉及条件概率、随机变量及其分布、数学期望、特殊分布、估计、估计量的抽样分布、假设检验、分类数据与非参数和方法、线性统计模型、随机模拟等。本书知识体系结构与国内主流的概率论与数理统计教材基本一致，但内容取材及例题的安排上都比较新颖，尤其是新增加了一些非常实用而且比较先......
本书是面向高等院校文科专业对计算机网络应用的需求而编写的教材。书中包括计算机网络基础、Internet基础、Internet应用、局域网构建及应用、Intranet上的信息服务、网络安全及网页制作等内容。本书内容的针对性和实用性很强。针对性是指面向文科生，要求通俗易懂；实用性是指在学生掌握了网络基础......
本书采取由浅入深的讲述方法，对CorelDRAW 11软件进行详细介绍。首先在第1章介绍操作界面、基本操作如新建、保存、导入、导出、页面设置等入门知识；第2章介绍基本形状、绘图工具及基础编辑工具的使用；第3章介绍形状工具的使用；第4章介绍对象填充与轮廓设置等；第5章介绍图形复制与变换命令组的应用；第......
本书是一本经典的数论名著的第5版，书的内容成于作者在牛津大学、剑桥大学等大学讲课的讲义，从各个不同角度对数论进行了阐述，包括素数、无理数、同余、fermat定理、同余式、连分数、不定式、二次域、算术函数、分划等等。第二作者为此书每章增加了必要的注解，便于读者理解并进一步学习。 本书读者对象为大学数......
本书全面论述了线性方程组、最小二乘问题以及特征值问题的求解方法，其中包含不少新近发展起来的方法.全书共分６部分，40讲。主要内容有：QR分解和最小二乘问题、条件与稳定性、求解线性方程组的直接方法、特征值问题及迭代方法。 本书可作为计算数学专业、科学和工程学科高年级本科生或研究生一学期的教材，也可供应......
本书是关于试验设计与分析的入门教材，是作者在亚利桑那州立大学、华盛顿大学和乔治亚工程学院三所大学近30年试验设计教学经验的基础上编写的。内容包括简单比较试验、2k因素设计、响应曲面方法和设计、稳健参数设计和过程稳健性研究、随机因素试验、巢和分图设计等。作者给出了教学建议；还有提供给老师及学生的支持材......
本书系统阐述了统计模拟的一些实用方法和技术。在对概率的基本知识进行了简单的回顾之后，介绍如何利用计算机产生随机数以及如何利用这些随机数产生任意分布的随机变量、随机过程等。然后讨论了一些分析统计数据的方法和技术，如bootstrap(自助法)、方差缩减技术等。接着讲述了如何利用统计模拟来判断所选的随机......
