本书在第一版的基础上修订再版，全书较系统地讲述了各种三值逻辑、n值逻辑以及连续值逻辑理论；为模糊命题演算建立了一套形式演绎系统；把模糊推理纳入了严格的逻辑轨道；从整体赋值出发，建立了积分语义学理论，为近似推理提供了一种可能的框架；系统论述了Pavelka逻辑并扼要论述了抽象逻辑。此外，本书在第一版的基础上增添了模态逻辑、知识推理与描述逻辑的内容。
《新编大学计算机基础教程（第5版 微课版）》以素质能力培养为主线，以突出“应用”和强化“能力”为目标，基于目前计算机基础教育改革的新理念、新思想、新要求和新技术，结合编者多年的教学改革实践和建设成果编写而成。全书共分三部分：第一部分为计算机系统平台，包含计算机系统和典型的操作系统等基本理论内容，介绍了windows7操作系统的使用方法；第二部分为办公信息处理，介绍了0ffice2010的使用方法；第三部分为计算机应用技术基础，包含计算机多媒体技术、数据通信技术基础、计算机网络与应用、软件技术基础、信息安全等内容。本书配有二维码，可扫码观看。 本书适合作为各类高等学校非计算机专业的计算机基础课程教材，也可作为高等学校成人教育的培训教材或自学参考用书。 《新编大学计算机基础教程（第5版 微课版）》还配
李富德主编的《系统解剖学(供临床医学预防医学口腔医学医学影像学医学检验学等专业用第2版全国普通高等教育临床医学专业5+3十三五规划教材)》是全国普通高等医学院校临床医学专业“十三五”规划教材之一，本书具有以强化医学生职业道德、医学人文素养教育和临床实践能力培养为核心，推进医学基础课程与临床课程相结合，注重培养学生临床思维能力和临床实践操作能力的特点。本书供本科临床医学专业师生使用。
本书以光的电磁理论为基础，对经典光学的内容进行全面描述，重点是理论基础部分，同时重视应用研究成果和研究动向。全书共15章，分为上册和下册，其中上册包括7章。前3章是基础部分，主要讨论基本形式的麦克斯韦方程、光波的基本特性及平面光波的反射与透射。第4章几何光学，从麦克斯韦方程出发讨论非均匀介质中光线满足的程函方程和光线方程，从费马原理出发讨论均匀介质中光线满足的三大定律，以及由费马原理得到光线拉格朗日方程和光线哈密顿方程。第5章干涉光学，从波的叠加原理出发，讨论干涉的基本概念，包括双光束平面波干涉、双光束柱面波和双光束球面波干涉，分波阵面双光束干涉和光源的空间相干性，分振幅双光束干涉和干涉条纹的定域性，双光束干涉仪及光源的时间相干性。第6章在标量电场理论的基础上讨论光在各向 介质中的衍
本书以知识产权法学课程的核心知识点讲解为主要内容，主要内容板块包括知识点速览、核心知识要点解析、实务案例研习、拓展延伸阅读、同步练习五个部分，对本门课程需要掌握的核心知识点进行深入讲解，并配合案例研习、同步练习，使学生更好地掌握和运用本门课程的知识。
建筑信息模型(Building Information Modeling，BIM)技术是利用计算机软硬件技术，通过建筑信息模型的创建和使用，实现建筑信息有效传递和共享的技术，它同时也是建筑开发、建筑设计、建筑施工及建筑运维基于建筑信息模型（BIM）的过程和方法，并且贯穿于建筑的全生命周期。王鹏、刘溦、曾烨主编的这本《电气设计BIM实战应用》依据具体的建筑实例，结合Bl M在电气设计中应用的需要逐一进行细致讲解，通过本书的学习，可以缩短入职初学者的摸索时间，同时可以加深BIM专业人员的实践认识。 本书可作为建筑企业新入职者的入门基础用书、相关电气设计师的手边实用教程，可以为高校电气设计相关专业的学生和三维设计爱好者的自学用书，也可以BlM技能考试培训的参考教材。
仪表飞行程序 定价 45.00 出版社 中国民航出版社 出版时间 2016年08月 开本 16 作者 何光勤 陈华群 黄邦菊 页数 245 ISBN编码 9787512803756 内容介绍 仪表飞行程序是飞行技术专业的一门专业技术基础课。为适应飞行技术专业学历培训和*培训要求，本教材的主要内容包括机场、仪表飞行程序、ICAO标准的国内航图、航行通告和航空情报资料，涉及机场的道面系统与仪表飞行所需的机场目视助航设施以及有关技术标准和要求，仪表飞行程序的一般准则和规定、程序设计的一般原理和方法、有关技术标准和运行限制、国际民航组织规定的航行资料和使用方法，航空情报资料的查阅和适用方法等从事飞行工作所必须掌握的知识和技能。 作者简介 何光勤 ，西南交通大学研究生毕业、副教授，中国民航飞行学院空中交通管理
