变换
高级语言程序变换的机械化证明导论 何炎祥,江南 著.pdf
随着现代社会信息化程度的提高，与计算机相关的各种系统故障足以造成巨大的经济损失。机械化的定理证明能够建立更为严格的正确性，从而奠定系统的高可信性。本书阐述机械化定理证明的逻辑基础和关键技术，分析比较各类主流证明助手的设计特点，重点讨论在编译器验证领域取得的重要研究成果，并以实例详
工程数学——复变函数与积分变换（第二版） 尹水仿,李寿贵 主编.pdf
本书（第二版）根据教育部非数学类课程“复变函数与积分变换”教学基本要求，结合编者多年讲授本课程的基础上编写而成，对第一版教材内容、体系作了适当的调整与优化，使其具有更好的可读性，主要内容包括复数与复变函数、解析函数、复变函数的积分、级数、留数理论、共形映射、傅里叶变换、拉普拉斯变
复变函数与积分变换教程 郑列,李家雄 主编.pdf
本书根据教育部高等学校工科数学《复变函数与积分变换》课程的教学基本要求和教学大纲，结合本学科的发展趋势，在积累多年教学实践的基础上编写而成。本书遵循打好专业基础、培养数学素质、提高解决实际问题能力的原则，体系严谨，逻辑性强，内容组织由浅入深，理论联系实际，讲授方式灵活。
复变函数与积分变换 罗文强等 主编.pdf
全书共9章，主要内容包括复数与复变函数、解析函数、复积分、级数、留数及其应用、共形映射、傅里叶变换、拉普拉斯变换、MATLAB在复变函数与积分变换中的应用。每章均配有小结和较为丰富的例题、习题，书后附有习题答案，对较难的习题给出了解题提示。
随机因素下基于傅里叶变换技术的期权定价研究 张素梅 著.pdf
期权作为一种金融衍生品，能够有效规避系统性风险，对金融风险管理与防范具有重要影响。期权定价问题已成为应用数学和金融数学交叉领域中的一个热点研究方向。本书从傅里叶变换的角度，对多种随机因素影响下期权定价的数值方法进行研究。通过分析影响金融市场的主要随机因素，建立一系列随机模型。基于
复变函数与积分变换简明教程 包革军等 编.pdf
本书是国家工科数学教学基地之一的哈尔滨工业大学数学学院根据教育部数学基础课程教学指导分委员会最新修订自筑工科类本科数学基础课程教学基本要求(修订稿)的精神和原则，结合多年的教学实践和研究而编写的系列教材之一。全书共7章，包括复数、解析函数、复变函数的和孙、级数、留数及其应用、傅里
复变函数与积分变换.pdf
本书内容包括：复数与复变函数、解析函数、复变函数的积分、解析函数的级数表示、留数及其简单的应用、傅里叶变换、拉普拉斯变换及其简单的应用、Z变换及其应用。
复变函数与积分变换 | 3版.pdf
本书共8章，包括复数与复变函数、解析函数、复变函数的积分、级数、留数、保形映射、傅里叶变换、拉普拉斯变换等内容。
向量分析与场论 复变函数与积分变换 复习与提高.pdf
本书是科学出版社出版的《向量分析与场论》和《复变函数与积分变换》两本教材的配套辅导用书，内容包括向量分析、数量场、向量场、三种特殊形式的向量场、复数及复变函数、解析函数、复变函数的积分、复变函数的级数表示、残数及其应用、保形映射、傅里叶变换和拉普拉斯变换。各章内容有基本要求、主要
- «
- »