本书在第一版的基础上修订再版,全书较系统地讲述了各种三值逻辑、n值逻辑以及连续值逻辑理论;为模糊命题演算建立了一套形式演绎系统;把模糊推理纳入了严格的逻辑轨道;从整体赋值出发,建立了积分语义学理论,为近似推理提供了一种可能的框架;系统论述了Pavelka逻辑并扼要论述了抽象逻辑。此外,本书在第一版的基础上增添了模态逻辑、知识推理与描述逻辑的内容。
本书以光的电磁理论为基础,对经典光学的内容进行全面描述,重点是理论基础部分,同时重视应用研究成果和研究动向。全书共15章,分为上册和下册,其中上册包括7章。前3章是基础部分,主要讨论基本形式的麦克斯韦方程、光波的基本特性及平面光波的反射与透射。第4章几何光学,从麦克斯韦方程出发讨论非均匀介质中光线满足的程函方程和光线方程,从费马原理出发讨论均匀介质中光线满足的三大定律,以及由费马原理得到光线拉格朗日方程和光线哈密顿方程。第5章干涉光学,从波的叠加原理出发,讨论干涉的基本概念,包括双光束平面波干涉、双光束柱面波和双光束球面波干涉,分波阵面双光束干涉和光源的空间相干性,分振幅双光束干涉和干涉条纹的定域性,双光束干涉仪及光源的时间相干性。第6章在标量电场理论的基础上讨论光在各向 介质中的衍