計算機軟件和理論
| 研 究 方 向 | 研 究 內 容 |
| 邏輯與計算機基礎理論 | 研究計算機科學(xué)的基礎理論包括理論計算機系統的研究，及其在實(shí)時(shí)計算、并行計算、程序驗證等方面的應用，數理邏輯、模型論、自動(dòng)機理論、數據庫理論、計算復雜性理論等方面的研究，及其對計算機的應用，同時(shí)研究一些數學(xué)問(wèn)題的判定和計算復雜性。 |
| 人工神經(jīng)網(wǎng)絡(luò ) | 從數學(xué)的角度研究人工神經(jīng)網(wǎng)絡(luò )，揭示人工神經(jīng)網(wǎng)絡(luò )的數學(xué)本質(zhì)、神經(jīng)網(wǎng)絡(luò )隱層搭的意義、權值、神經(jīng)元之間的連接方面的問(wèn)題及有關(guān)的數學(xué)結構、數學(xué)方法的圖形表示；依據神經(jīng)元的硬件實(shí)現，及有關(guān)的數學(xué)理論和數學(xué)方法如何設計用于神經(jīng)網(wǎng)絡(luò )計算機的芯片問(wèn)題。 |
| 數學(xué)軟件與計算機代數 | 將計算機技術(shù)與數學(xué)研究有機地結合，為數學(xué)研究提供新的思想和方法，研究一些數論函數的多項式，非線(xiàn)性代數方程的求解問(wèn)題以及交換代數，代數、幾何的某些理論的機械化方法和專(zhuān)用軟件設計，連續計算的復雜性和小波理論及其應用。 |
| 計算機輔助教學(xué)軟件的研究和開(kāi)發(fā) | 研究如何將機器證明、機器判證等方面引入中學(xué)以上數學(xué)教學(xué)軟件，使課件具有高層次的交互能力和智能，研究與數學(xué)教育軟件相關(guān)的復雜性、可行性和優(yōu)化問(wèn)題，研究在數學(xué)教育的現代化進(jìn)程中如何發(fā)揮計算機輔助教育的作用及有關(guān)的規律和可能遇到的問(wèn)題。 |
