本书是一本参赛的指导书，同时也是一本学习微积分的复习书。我们对微积分的内容进行整理归纳出知识要点，并通过典型例题的解法分析加以综合，使读者对微积分的每个知识点得以融会贯通。当前，我国从小学到高中都是围绕着升学的指标指挥棒转，学习为应试，其结果是：会套模式解题，不会尝试分析解决问题，长期的教育熏陶，使人形成了思维惯性。我们希望通过数学竞赛，通过本书的学习，能慢慢改变你的思维方式。数学需要运算能力、空间想象能力和抽象思维能力等，做习题对学好数学是重要的，在做运算难度大、步骤长及需要技巧的数学题的过程中有时最能获得数学知识，最能培养分析问题、解决问题的能力。看书和动手解题相结合必能使你学会如何去理解数学知识、如何去分析推理，从而对背景和题型稍新的数学问题不再束手无策，最终培养自己
![斯米尔诺夫高等数学.第二卷.第一分册[俄]斯米尔诺夫 著哈尔滨工业大学出版社9787560365220](http://img3m1.ddimg.cn/28/19/12343728601-1_l.jpg)
本书是一部经典的复变函数教材，已经有70多年的历史，被密歇根大学、美国加州理工学院、普渡大学等众多名校采用。全书共有12章，分别介绍了复数、解析函数、初等函数、积分、级数、留数和极点、留数的应用、初等函数的映射、共形映射、施瓦茨-克里斯托费尔映射、泊松型积分公式等内容。本书一直致力于突出有着重要应用的理论部分，尤其介绍了留数和共形映射的应用，留数的应用包括用它来计算实数广义积分，求拉普拉斯逆变换和函数的零点。共形映射主要是解热传导和流体流动中产生的边值问题。本书对应原书第9版，新版本添加了很多例子，为了阐明刚刚学过的理论，将例子作为单独的一节紧随其后；另外还根据读者意见重新安排了章节内容，使得加利于教学。此外在书后配有部分习题的辅导，方便读者自学。本书可作为理工科专业学生的教材，也
![面向计算机科学的数理逻辑系统建模与推理 [德]哈斯、[英]瑞安 著；何伟、樊磊 译 机械工业出版社【售后无忧】](http://img3m0.ddimg.cn/92/27/11937371780-1_l.jpg)
![高等算术（第8版 英文版）[英]Davenport、H. 著世界图书出版公司9787519205317](http://img3m5.ddimg.cn/23/11/11969955185-1_l.jpg)
数理逻辑是计算机科学的基础之一，在模型与系统的规约与验证等方面有着广泛的应用。随着当今软硬件产品日趋复杂，数理逻辑已经成为越来越多设计开发人员的日常工具。本书适合作为高等院校计算机及相关专业的数理逻辑/形式化方法课程，涵盖了命题逻辑，谓词逻辑、模态逻辑与Agent、二元决策图、模型检查和程序验证等内容。与传统数理逻辑教科书相比，它的主要特色就是紧紧围绕软硬件规约和验证这一主题，反映了计算机科学中数理逻辑的新发展和实际需要。第2版新增了可满足性算法，紧致性理论和Lowenhenm-Skolem定理，并介绍了Alloy语言和Nusmv工具。本书自出版以来受到广泛好评，已经被包括美国普林斯顿、卡内基-梅隆、英国、德国汉堡、加拿大多伦多、荷兰Vrije，印度理工学院在内的多个国家几十所高校采纳为。
