本书是作者在常微分方程定性理论的多年教学和科研工作的基础上写成的,着重介绍平面定性理论的主要内容和方法,重点是:平面奇点,极限环的存在,唯一性及个数,无穷远奇点,二维周期系统的调和解,环面上的常微系统,二维流行上的结构稳定性。本书各章均附有习题
《中国科学技术经典文库·物理卷理论物理(第二册):量子论与原子结构》为物理学家吴大猷先生的著述《理论物理》(共七册)的第二册,《理论物理》是作者根据长期从事的教学实践编写的一部比较系统全面的大学物理学教材,本册主要叙述由量子论的创立至量子力学诞生前的物理学发展,内容分甲、乙两部,甲部介绍辐射理论、量子论对
《无约束*优化计算方法》讨论处理无约束优化问题的数值方法,主要包括Newton法、共轭梯度法、拟Newton法、Powell直接方法以及非线性*小二乘法,并且阐明了其理论、应用和发展动向.可供计算数学工作者、工程技术人员、高等院校有关专业高年级学生、研究生及教师参考。
本书上册论述了有限群的基本知识,下册着重介绍有限群的一些新成果、发展动向以及有限群的某些较专门的部分,如卡特子群、传输理论、超可解群等
本书共六部分,分上、下两册。下册包括第三、四、五章和两个附录。第三章陈述逻辑演算的重言式系统,并研究自然推理系统和重言式系统的关系。第四章研究逻辑演算的可靠性和完备性问题。笫五章讨论了逻辑演箅如何应用于陈述具体的数学理论,并且研究了在数学中引进定义的形式化问题。附录(一)陈述带量词的命题逻辑;附录(二)定义了斜形证明,
本书共六部分,分上、下两册.上册包括绪论、第一章和第二章.绪论对数理逻辑的性质,逻辑演算的大概内容.以及阅读以后各章所需要的预备知识作了简要的说明.第一章构造命题逻辑和一阶逻辑的形式系统,介绍演绎逻辑的基本规则.第二章研究逻辑演算的重要系统特征