米库辛斯基算符演算和积分变换

本书是作者在多年教学经验的基础上进行编写的，内容详实，思路清晰，介绍了复变函数的概念及其基本结论、米库辛斯基算符演算的基本理论及其一些辅助结果、直接方法和拉普拉斯变换、常系数线性微分方程和差分方程...

数理逻辑 基本原理与形式演算 第2版

本书的内容共分十章，系统介绍数理逻辑的基本原理与形式演算。前五章涵盖了经典数理逻辑的核心内容，包括一阶语言的语法与模型，形式推理系统，可计算性与可表示性，哥德尔定理。后五章的内容是作者的研究成果。这部...

密码学-加密演算法

密码学的研究与应用已有几千年的历史，但作为一门科学是20世纪50年代才开始的。不可否认，互联网的广泛应用大大推动了密码学的研究与发展。大多数国家和地区都成立了密码学学会，这些学会定期召开学术会议进行学...

传值CCS和∏－演算互模拟等价的验证理论和算法

本书内容提出对转子系统中存在的复杂非线性行为展开研究，并对非线性行为的辨识方法以及基于混沌理论的转子故障时期诊断新方法进行了深入研究与探讨。本论文主要完成两个方面的研究工作；从碰摩转子实验系统中...

中国历史上最伟大最深刻的社会变革 社会主义改造四论

本书以史论结合的方法，深刻阐述了20世纪50年代中期我国社会主义改造运动的历史必然性，决策的科学性和正确性，以及它对我国社会主义制度的确立、综合国力的提升、改革开放的进行和民族复兴事业的重要作用和意义...

孤岛不孤 世界视野中的英国文学四论

本书是微观史学名家，意大利卡洛·金兹伯格教授的代表作品，他从虚拟历史的独特视角，深入解读了英语文学的四篇作品等。文中所提到的大不列颠岛，它既指真实存在着的不列颠岛，同时也指想像中刻画出来的不列颠岛。本...

数理逻辑：基本原理与形式演算

数理逻辑是以公理系统和数学证明为研究对象的数学分支，对信息科学与技术的发展具有方法论层面上的指导作用。本书共分十章，系统介绍数理逻辑的基本原理与形式演算。前五章涵盖了经典数理逻辑的核心，内容包括一...

思维的演算

本书的逻辑学系统为概念逻辑。概念逻辑的名称来源于司各脱对逻辑学的理解。司各脱认为，概念是言语或词与事物之间的某种中间的东西。既然存在着关于事物的科学以及关于标志着什么词的科学，那么也应当存在着关...

佛遗教经四十二章经八大人觉经 金刚般若波罗蜜经心经六祖坛经 达磨四论最上乘论黄檗传心法要

灌区水均衡演算与农田面源污染模拟

本书内容为作者所主持和主要参加的多项国家自然科学基金，国家重点基础研究发展计划项目，国家十一五科技重大专项，水利部大型灌区节水改造与续建配套项目成果的系统的总结和提升。以农业灌区水资源和水环境为对...