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

English | 2017 (2018 Edition) | 1288 Pages The Larson CALCULUS program has a long history of innovation in the calculus market. It has been widely praised by a generation of students and professors for its solid and effective pedagogy that addresses the needs of a broad range of teaching and learning styles and environments. Each title is just one component in a comprehensive calculus course program that carefully integrates and coordinates print, media, and technology products for successful teaching and learning.

Stochastic Calculus for Finance evolved from the first ten years of the Carnegie Mellon Professional Master's program in Computational Finance. The content of this book has been used successfully with students whose mathematics background consists of calculus and calculus-based probability. The text gives both precise statements of results, plausibility arguments, and even some proofs, but more importantly intuitive explanations developed and refine through classroom experience with this material are provided. The book includes a self-contained treatment of the probability theory needed for stochastic calculus, including Brownian motion and its properties. Advanced topics include foreign exchange models, forward measures, and jump-diffusion processes.

为了研究混沌系统的特性及其应用，设计了具有单个参数的简化Lorenz混沌系统的电子电路，并用分立元件进行了实验。 系统参数对应于电路元件参数。 通过调节电路中的可变电阻器，可以观察到动态行为，包括极限周期，干草叉分叉，倍频分叉，混沌以及倍频分叉导致的混沌路径。 推导了分数阶简化Lorenz系统中存在混沌的必要条件。 确定了分数阶简化Lorenz系统的最低阶以及最低阶随系统参数的变化规律。 电路仿真与实验表明，简化的Lorenz系统具有丰富的动态特性，理论分析与电路实验相互吻合。

Calculus 4th edition by Smith, Robert T, Minton, Rolan

经典教材 Calculus-James+Stewart.pdf 英文版 经典教材 Calculus-James+Stewart.pdf 英文版

非常有用的一本关于decision procedure 的著作

Calculus, Eighth Edition James Stewart Product Manager: Neha Taleja Senior Content Developer: Stacy Green Associate Content Developer: Samantha Lugtu Product Assistant: Stephanie Kreuz Media Developer: Lynh Pham Marketing Manager: Ryan Ahern Content Project Manager: Cheryll Linthicum Art Director: Vernon Boes Manufacturing Planner: Becky Cross Production Service: TECHarts Photo and Text Researcher: Lumina Datamatics Copy Editor: Kathi Townes, TECHarts Illustrator: TECHarts Text Designer: Diane Beasley Cover Designer: Irene Morris, Morris Design Compositor: Stephanie Kuhns, Kristina Elliott, and Kira Abdallah, TECHarts Cover Image: elisanth/123RF; tharrison/Getty Images

lambda的书