《中国科学技术经典文库·物理卷理论物理（第二册）：量子论与原子结构》为物理学家吴大猷先生的著述《理论物理》（共七册）的第二册，《理论物理》是作者根据长期从事的教学实践编写的一部比较系统全面的大学物理学教材，本册主要叙述由量子论的创立至量子力学诞生前的物理学发展，内容分甲、乙两部，甲部介绍辐射理论、量子论对

《无约束*优化计算方法》讨论处理无约束优化问题的数值方法，主要包括Newton法、共轭梯度法、拟Newton法、Powell直接方法以及非线性*小二乘法，并且阐明了其理论、应用和发展动向.可供计算数学工作者、工程技术人员、高等院校有关专业高年级学生、研究生及教师参考。

本书是以第二版为基础，参考1980年教学大纲（2000学时）进行修订的，修订本保存了第二版的风格，吸取了第三版的某些优点，增加了例题，配上了习题，统一采用了国际单位制。修订时注意到打好基础、精选内容、逐步更新、利于教学等几个方面，并且适当控制了篇幅，全书讲授（包括习题课）约为140学时。全书分三册，册包括力学、机械振动

本书上册论述了有限群的基本知识，下册着重介绍有限群的一些新成果、发展动向以及有限群的某些较专门的部分，如卡特子群、传输理论、超可解群等

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

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

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

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

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