課程編號(hào)b課程名稱計(jì)算機(jī)代數(shù)與符號(hào)

1、課程編號(hào)：課程編號(hào)：B0115010812001課程名稱：課程名稱：計(jì)算機(jī)代數(shù)與符號(hào)計(jì)算課程英文名稱：課程英文名稱：ComputerComputerAlgebraAlgebraSymbolicSymbolicComputationComputation學(xué)分：學(xué)分：3周學(xué)時(shí)：周學(xué)時(shí)：3總學(xué)時(shí)：總學(xué)時(shí)：54課程性質(zhì)：課程性質(zhì)：博士研究生必修適用專業(yè)：適用專業(yè)：系統(tǒng)分析與集成教學(xué)內(nèi)容及基本要求：教學(xué)內(nèi)容及基本要求：教學(xué)內(nèi)容：大整數(shù)、多項(xiàng)式和數(shù)

2、學(xué)表達(dá)式在計(jì)算機(jī)中的表示方法，加減乘除等基本運(yùn)算的算法及其實(shí)現(xiàn)方法，結(jié)式、子結(jié)式、最大公因式、因式分解的算法及復(fù)雜度分析，特征列、Groebner基的計(jì)算，多項(xiàng)式組消元和求解方法及其應(yīng)用，量詞消去和柱形代數(shù)分解及其應(yīng)用。熟練掌握MapleMathematica等符號(hào)計(jì)算軟件包。能應(yīng)用以上理論和工具分析和解決具體的問(wèn)題。教學(xué)要求：掌握有關(guān)的基本概念和性質(zhì)，能獨(dú)立用于分析問(wèn)題和解決問(wèn)題。教學(xué)方法采用導(dǎo)師小組指導(dǎo)和學(xué)生自學(xué)相結(jié)合、理論學(xué)習(xí)和程

3、序設(shè)計(jì)實(shí)踐相結(jié)合、知識(shí)學(xué)習(xí)和分析解決應(yīng)用問(wèn)題相結(jié)合的原則?？己朔绞郊耙螅嚎己朔绞郊耙螅洪_(kāi)卷考試。學(xué)習(xí)本課程的前期課程要求：學(xué)習(xí)本課程的前期課程要求：《高等代數(shù)》、《數(shù)據(jù)結(jié)構(gòu)與算法》教材及主要參考書(shū)目、文獻(xiàn)與資料：教材及主要參考書(shū)目、文獻(xiàn)與資料：[1]DavidCoxJohnLittleDonaldO’SheaIdeasVarietiesAgithmsAnIntroductiontoComputationalAlgebraicGeom

4、etryCommutativeAlgebraSpringerVerlag1992(國(guó)內(nèi)版本：世界圖書(shū)出版公司ISBN7506265982)[2]DavidCoxJohnLittleDonaldO’SheaUsingAlgebraicGeometrySpringerVerlag1998.[3]王東明夏壁燦計(jì)算機(jī)代數(shù)清華大學(xué)出版社2004年.[4]楊路張景中侯曉榮非線性方程組與定理機(jī)器證明上海科技教育出版社1996年.課程編號(hào)：課程編號(hào)：B

5、0115010812002課程名稱：課程名稱：自動(dòng)推理與定理機(jī)器證明課程英文名稱：課程英文名稱：AutomatedAutomatedReasoningReasoningMachineMachineProofProof學(xué)分：學(xué)分：3周學(xué)時(shí)：周學(xué)時(shí)：3總學(xué)時(shí)：總學(xué)時(shí)：54課程性質(zhì)：課程性質(zhì)：博士研究生必修適用專業(yè)：適用專業(yè)：系統(tǒng)分析與集成教學(xué)內(nèi)容及基本要求：教學(xué)內(nèi)容及基本要求：教學(xué)內(nèi)容：基于搜索匹配的推理方法及其算法設(shè)計(jì)，Tarski關(guān)于初

6、等代數(shù)和幾何的判定方法、吳方法及其應(yīng)用、多項(xiàng)式完全判別系統(tǒng)與實(shí)根分類的理論和算法，半代數(shù)系統(tǒng)求解與不等式定理的機(jī)器證明方法，數(shù)理邏輯中的定理機(jī)器證明.教學(xué)要求：清楚掌握有關(guān)的理論和算法，能用于分析問(wèn)題和解決問(wèn)題，并能設(shè)計(jì)具體程序解決實(shí)際問(wèn)題。教學(xué)方法上采用導(dǎo)師小組指導(dǎo)和學(xué)生自學(xué)相結(jié)合、理論學(xué)習(xí)和程序設(shè)計(jì)實(shí)踐相結(jié)合、知識(shí)學(xué)習(xí)和分析解決應(yīng)用問(wèn)題相結(jié)合的原則。考核方式及要求：考核方式及要求：開(kāi)卷考試。學(xué)習(xí)本課程的前期課程要求：學(xué)習(xí)本課程的前期

7、課程要求：《函數(shù)式程序設(shè)計(jì)語(yǔ)言》、《人工智能》、《解析幾何》、《高等代數(shù)》、《數(shù)理邏輯》教材及主要參考書(shū)目、文獻(xiàn)與資料：教材及主要參考書(shū)目、文獻(xiàn)與資料：[1]吳文俊:幾何定理機(jī)器證明的基本原理（初等幾何部分），科學(xué)出版社[2]張景中:計(jì)算機(jī)怎樣證明幾何定理，暨南大學(xué)出版社、清華大學(xué)出版社[3]陸鐘萬(wàn):數(shù)理邏輯與機(jī)器證明，科學(xué)出版社.[4]ChouSCGauXSZhangJZ.MachineProofinGeometrySingape:W