《高等学校教材：普通物理学（1982年修订本）（第2册）》是以第二版为基础，参考1980年教学大纲（200学时）进行修订的.修订本保存了第二版的风格，吸取了第三版的某些优点，增加了例题，配了习题，统一采用国际单位制.修订时注意到打好基础，精选内容，逐步更新，利于教学几个方面，并且适当控制了篇幅，全书讲授（包括习题课）约

本书是计算机科学核心课程——离散数学的基本教材。全书共分五篇。前四篇分别介绍了数理逻辑，集合论，代数结构和图论四个专题。第五篇为应用部分，主要介绍形式语言与自动机以及纠错码初步。内容叙述严谨，推演详尽，大部分概念都用实例说明并配有相当数量的习题。 本书可作为理工科院校计算机专业的离散数学教材，也可作为自动控制、电子工

本书共六部分，分上、下两册。下册包括第三、四、五章和两个附录。第三章陈述逻辑演算的重言式系统，并研究自然推理系统和重言式系统的关系。第四章研究逻辑演算的可靠性和完备性问题。笫五章讨论了逻辑演箅如何应用于陈述具体的数学理论，并且研究了在数学中引进定义的形式化问题。附录(一)陈述带量词的命题逻辑；附录(二)定义了斜形证明，

本书共六部分，分上、下两册.上册包括绪论、第一章和第二章.绪论对数理逻辑的性质，逻辑演算的大概内容.以及阅读以后各章所需要的预备知识作了简要的说明.第一章构造命题逻辑和一阶逻辑的形式系统，介绍演绎逻辑的基本规则.第二章研究逻辑演算的重要系统特征

本书系人民教育出版社1979年4月出版的《电磁场（电工原理Ⅱ）》的修订本。内容基本上符合教育部电工教材编审委员会于1980年6月审订的高等工业学校四年制电类（不包括无线电技术类）各专业试用的《电磁场理论教学大纲（草案）》，并经电工教材编审委员会电磁场理论编审小组审查，同意作为高等学校教材出版。全书共七章，即：静电场，恒