当前位置:首页 > TAG信息列表 > 演算
演算
-
数理逻辑:基本原理与形式演算
李未著2008 年出版255 页ISBN:9787030200969数理逻辑是以公理系统和数学证明为研究对象的数学分支,对信息科学与技术的发展具有方法论层面上的指导作用。本书共分十章,系统介绍数理逻辑的基本原理与形式演算。前五章涵盖了经典数理逻辑的核心,内容包括一...
-
物理化学概要、演算与习题
陈振江,戴航主编2015 年出版221 页ISBN:9787030451743本教材将是在总结医药院校本科物理化学课程多年教学经验的基础上编写而成,可供理论课教学时数在54~72学时的制药工程、中药制药、药物制剂学、药学、中药学等专业及相关药学类专业本科学生学习《物理化学》使...
-
米库辛斯基算符演算和积分变换
周之虎编著2014 年出版118 页ISBN:9787566407009本书是作者在多年教学经验的基础上进行编写的,内容详实,思路清晰,介绍了复变函数的概念及其基本结论、米库辛斯基算符演算的基本理论及其一些辅助结果、直接方法和拉普拉斯变换、常系数线性微分方程和差分方程...
-
数理逻辑 基本原理与形式演算 第2版
李未著2014 年出版289 页ISBN:9787030401557本书的内容共分十章,系统介绍数理逻辑的基本原理与形式演算。前五章涵盖了经典数理逻辑的核心内容,包括一阶语言的语法与模型,形式推理系统,可计算性与可表示性,哥德尔定理。后五章的内容是作者的研究成果。这部...
-
灌区水均衡演算与农田面源污染模拟
王康著2012 年出版284 页ISBN:9787030345035本书内容为作者所主持和主要参加的多项国家自然科学基金,国家重点基础研究发展计划项目,国家十一五科技重大专项,水利部大型灌区节水改造与续建配套项目成果的系统的总结和提升。以农业灌区水资源和水环境为对...