面向计算机科学的数理逻辑 系统建模与推理 modelling and reasoning about systems 【数理化】

本书对计算机科学方面的数理逻辑进行了综合介绍，涵盖了命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软件和硬件规范和验证这一主题，反映了计算机科学中数理...

复变函数与积分变换 【数理化】

本书讲述了复变函数论，积分变换的基本理论、基本概念与基本方法，使读者在运用向量分析与场论，复变函数论，积分变换的思想和方法解决实际问题的能力方面得到系统的培养和训练,本书的主要内容有：复数与复变函数的....

复变函数与积分变换 【数理化】

本教材是北京市精品课程的配套教材，从解决实际工程问题的角度出发，内容涵盖数学的基本原理及基本方法，从复数与复变函数、解析函数、复变函数的积分、级数、留数及其应用、共形映射、傅里叶变换、拉普拉斯变换...

复变函数与积分变换 【数理化】

本书根据教育部高等院校“复变函数与积分变换”课程的基本要求，依据工科数学《复变函数与积分变换教学大纲》，结合高等教育新常态对本学科的发展需求，广泛收集工程案例，在积累多年教学实践经验的基础上编写而成...

复变函数与积分变换 【数理化】

本书介绍复变函数与积分变换的基本概念、理论和方法。全书共分9章，主要内容包括：复数与复变函数，解析函数，复变函数的积分，解析函数的级数表示，留数及其应用，共形映射，解析函数在平面场的应用，傅里叶变换，......

复变函数与积分变换 【数理化】

全书共8章，包括复数与复变函数、解析函数、复变函数的积分、级数、留数、保形映射、傅里叶变换、拉普拉斯变换等内容。为方便学生深入掌握《复变函数与积分变换》课程的基本知识，作者精心设计了各章内容的相...

复变函数与积分变换 第2版 【数理化】

内容包括：复变函数与解析函数，复变函数的积分，复变函数的级数，留数及其应用，保角映射，Fourier变换，Laplace变换，z变换，小波变换简介等。另外在Cauchy积分定理的证明，已知解析函数的实部（或虚部）求该解析函数，Tai......

复变函数与积分变换 第2版 【数理化】

本书主要介绍复变函数与积分变换的基本概念、理论和方法。内容包括：复数及复平面、解析函数、复积分、解析函数的级数理论、留数理论、共形映射理论、傅里叶变换、拉普拉斯变换和快速傅里叶变换。每一章给出...

积分变换与场论 【数理化】

本书包括Fourier（傅里叶）变换、Laplace（拉普拉斯）变换、数量场、矢量场的基本内容及其简单应用。编者根据应用型本科院校的教育教学特点、学生基础状况及多年的教学经验编写。理论严谨，逻辑清晰，由浅入深，易于学习...

傅立叶变换红外光谱技术及应用研讨会论文集 2 【数理化】