数学理论

计算的数学理论

《计算的数学理论》,作者:(美)马纳(Manna, Z.)著;李玉茜译 出版社:科学出版社 ISBN:15031745。本书是一部以可计算性理论和数理逻辑为工具,讨论程序正确性验证的专著.著者Z.马纳教授是本领域中世界公认的著名学者.他的这部著作和译本所附的“程序的逻辑分析”(1977)及“计算机程序设计的逻辑方法”(1978)两篇论文是计算机程序设计方面的重要理论著作,为许多文献所引用.

非均匀气体的数学理论

《非均匀气体的数学理论》,作者:(英)查普曼(Chapman, S.),(英)考林(Cowling, T.)著;刘大有,王伯懿译 出版社:科学出版社 ISBN:130312960。本书阐述有关非均匀气体的粘性、热传导和扩散问题的数学理论.内容丰富,结构紧凑完整,论述严谨,是气体分子运动论方面的经典名著. 本书可供从事物理学、天体物理学、等离子体动力学、高速空气动力学、高层大气学以及物理化学和

机器人学的现代数学理论基础

《机器人学的现代数学理论基础》,作者:丁希仑 编著 出版社:科学出版社 ISBN:9787030691842。本书全面深入地阐述了旋量理论与李群、李代数理论及其关联关系,反映了李群、李代数与机器人机构学相结合的最新理论研究成果。全书共9章:第1章为绪论;第2~4章主要讲述了旋量、李群、李代数等数学理论,揭示了刚体位移的固有特性以及与速度旋量和李代数的内在统一性;第5章介绍了旋量理论在机器