calculus.

美国著名微积分教材，托马斯微积分，讲解详细，实例多样，图文并茂，习题众多，是学习微积分的上好教材。

此书作者robin milner是图灵奖得主。书中milner以直观而严格的方式介绍了他所发明了pi演算。pi演算的用途是作为描述并行计算的基本理论。

讲泛函极值的变分法的基础入门课

The Calculus Gallery Masterpieces from Newton to Lebesgue by WILLIAM DUNHAM是关于微积分的历程的一本科普书，有中文译本《微积分的历程：从牛顿到勒贝格》。

Thomas Calculus 12th Edition Solutions 托马斯微积分的习题详解 包含单双题号的完整版

Partial differential equations (PDEs) and variational methods were introduced into image processing about fifteen years ago. Since then, intensive research has been carried out. The goals of this book are to present a variety of image analysis applications, the precise mathematics involved and how to discretize them. Thus, this book is intended for two audiences. The first is the mathematical community by showing the contribution of mathematics to this domain. It is also the occasion to highlight some unsolved theoretical questions. The second is the computer vision community by presenting a clear, self-contained and global overview of the mathematics involved in image processing problems. This work will serve as a useful source of reference and inspiration for fellow researchers in Applied Mathematics and Computer Vision, as well as being a basis for advanced courses within these fields. During the four years since the publication of the first edition, there has been substantial progress in the range of image processing applications covered by the PDE framework. The main goals of the second edition are to update the first edition by giving a coherent account of some of the recent challenging applications, and to update the existing material. In addition, this book provides the reader with the opportunity to make his own simulations with a minimal effort. To this end, programming tools are made available, which will allow the reader to implement and test easily some classical approaches.

本书为海外优秀数学类教材系列丛书之一，从Thomson Learning出版公司引进，本教材2003年全球发行约40余万册，在美国，占领了50％-80％的微积分教材市场，其用户包括耶鲁大学等院校及众多一般院校600多所。 第7版由高等教育出版社影印

Lambda演算评估器 介绍 这是一个简单的lambda演算评估程序，它支持以下具体语法：表达式：=标识符| （lambda标识符表达式）| 表达式表达式 为了使它真正纯净，当前不支持常量。 它应用alpha转换和beta减少来减少表达式。 此评估程序是使用C实现的。Lex和Yacc用于生成扫描器和解析器。 先决条件 除了基本的构建工具GCC和Make之外，还需要Lex和Yacc的实现来编译和运行此评估程序。 Flex和Bison在我的平台上使用。 您可以在Makefile中将其更改为您自己的。 生成并运行 将Makefile中与构建相关的变量更改为您的特定环境。 使用Make构建程序：$ make 使用以下命令运行评估程序：$ ./main 使用Ctrl + C退出评估程序。 接触 查敏杰