课程编号B0115010812017课程名称计算机代数与符号.docVIP

课程编号：B0115010812001 课程名称：计算机代数与符号计算 课程英文名称： Computer Algebra and Symbolic Computation 学分：3 周学时：3 总学时： 54 课程性质：博士研究生必修 适用专业：系统分析与集成 教学内容及基本要求： 教学内容：大整数、多项式和数学表达式在计算机中的表示方法，加减乘除等基本运算的算法及其实现方法，结式、子结式、最大公因式、因式分解的算法及复杂度分析，特征列、Groebner基的计算，多项式组消元和求解方法及其应用，量词消去和柱形代数分解及其应用。熟练掌握Maple, Mathematica等符号计算软件包。能应用以上理论和工具分析和解决具体的问题。 教学要求：掌握有关的基本概念和性质，能独立用于分析问题和解决问题。教学方法’Shea, Ideas, Varieties and Agorithms, An Introduction to Computational Algebraic Geometry and Commutative Algebra, Springer-Verlag, 1992 (国内版本：世界图书出版公司ISBN7-5062-6598-2) [2]David Cox, John Little and Donald O’Shea, Using Algebraic Geometry, Springer Verlag, 1998. [3]王东明, 夏壁灿 计算机代数, 清华大学出版社, 2004年. [4]杨路, 张景中, 侯晓荣, 非线性方程组与定理机器证明, 上海科技教育出版社, 1996年. [5]周梦, 计算代数与应用, 武汉大学出版社, 2002年 [6]M.Mignotte, Mathematics for Computer Algebra, Springer-Verlag; [7]J.H.Davenportet al., Computer Algebra： systems and algorithms for algebraic computation, Academic Press3 总学时： 54 课程性质：博士研究生必修 适用专业：系统分析与集成 教学内容及基本要求： 教学内容：基于搜索匹配的推理方法及其算法设计，Tarski关于初等代数和几何的判定方法、吴方法及其应用、多项式完全判别系统与实根分类的理论和算法，半代数系统求解与不等式定理的机器证明方法，数理逻辑中的定理机器证明. 教学要求：清楚掌握有关的理论和算法，能用于分析问题和解决问题，并能设计具体程序解决实际问题。教学方法几何定理机器Chou S C, Gau X S,and Zhang J Z. Machine Proof in Geometry, Singapore: World Scientific Publishing Co, 1994. [5]Chou S C, Mechanical Theorem Proving, Reidel, Dordrecht, 1988. [6]Nils J. Nilsson, Artificial Intelligence: A New Synthesis, Morgan Kaufmann Publishers, Inc., 1998 [7] Tarski, A., A Decision Method for Elementary Algebra and Geometry (2nd edn.). University of California Press, Berkeley(1951). (有中译本). [8] B. F. Caviness, J. R. Johnson (eds), Quantifier Elimination and Cylindrical Algebraic Decomposition, Texts and monographs in symbolic computation. Springer-Verlag, Vienna, 1998. [9]陆汝钤: 人工智能，科学出版社. 填写人：曾振柄 审核人：杨路课程编号：B0115010812004 课程名称：计算代数几何 课程英文名称： Computational Algebraic Geometry 学分：2 周学时：2 总学时： 36 课程性质：博士研究生选修 适用专业：