王浩

数理逻辑通俗讲话

《数理逻辑通俗讲话》,作者:王浩著 出版社:科学出版社 ISBN:130311424。本书是作者在关于数理逻辑的六次讲演的基础上写成的.全书共八章并有三个附录.第一章和第八章是一般性概述.第二章介绍形式系统、谓词演算和G#del不完全性定理以及不可判定的数学问题.第三章介绍计算机的进展、计算机应用的几个例子和四色定理的证明.第四章讨论问题与解,第五章讨论一阶逻辑,

湖泊流域水环境污染治理的创新思路与关键对策研究

《湖泊流域水环境污染治理的创新思路与关键对策研究》,作者:王浩主编 出版社:科学出版社 ISBN:9787030264787。本书从太湖流域的基本特性入手,以湖泊流域“自然-人工”二元水循环的水量水质过程为主线,较为系统地对流域水污染问题进行了梳理与诊断;构建了流域水质、水量、水生态全要素、全过程综合调控体系方案;针对太湖流域的特点,借助系统论与控制论的基本原理,对流域水污染的源头减排、末端治理、

汉石桥湿地植物科学探索

《汉石桥湿地植物科学探索》,作者:张勇,牛牧菁,王浩 主编 出版社:科学出版社 ISBN:9787030575227。本书根据作者多年的观察记录,从水生植物与水环境适应的特点出发,通过手绘图,将难以理解的植物结构特点具体化,着重描述水生植物的生长位置、生长过程,为读者提供观察和研究水生植物的方法。全书分为四个部分,包括汉石桥湿地简介、什么是湿地植物、湿地植物的生态利用、人类对水生植物的利用。重点选

安塞尔药物剂型给药系统

《安塞尔药物剂型给药系统》,作者:Loyd V. Allen Jr.,Nicholas G. Popovich,Howard C. Ansel主编;王浩,侯惠民主译 出版社:科学出版社 ISBN:9787030332448。本书介绍了在药物剂型和给药体系中应用的药剂学基本原理和技术,论述了药剂学和生物药剂学原理、产品设计、处方、生产、调配和各种剂型临床应用的相互关系,也论述了监管药物制剂生产和调配