北京師范大學(xué)研究生專業(yè)介紹：計(jì)算機(jī)軟件和理論

專業(yè)介紹來源：中國考研網(wǎng) 2016-05-25　相關(guān)院校：北京師范大學(xué)

2025考研復(fù)試伴學(xué)班
2025考研復(fù)試標(biāo)準(zhǔn)班
2026考研英語全程班
26考研全科上岸規(guī)劃營「擇校▪規(guī)劃▪備考」
北京師范大學(xué)2025考研專業(yè)課復(fù)習(xí)資料「真題▪筆記▪講義▪題庫」

計(jì)算機(jī)軟件和理論

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

來源未注明“中國考研網(wǎng)”的資訊、文章等均為轉(zhuǎn)載，本網(wǎng)站轉(zhuǎn)載出于傳遞更多信息之目的，并不意味著贊同其觀點(diǎn)或證實(shí)其內(nèi)容的真實(shí)性，如涉及版權(quán)問題，請(qǐng)聯(lián)系本站管理員予以更改或刪除。如其他媒體、網(wǎng)站或個(gè)人從本網(wǎng)站下載使用，必須保留本網(wǎng)站注明的"稿件來源"，并自負(fù)版權(quán)等法律責(zé)任。

來源注明“中國考研網(wǎng)”的文章，若需轉(zhuǎn)載請(qǐng)聯(lián)系管理員獲得相應(yīng)許可。

聯(lián)系方式：chinakaoyankefu@163.com

在線輔導(dǎo)中心

2026考研英語全程班寒假班
權(quán)威高配師資親授技巧，教研千錘百煉科學(xué)提分。直錄播課相結(jié)合精講互動(dòng)二合一，專業(yè)團(tuán)隊(duì)精細(xì)化作文批改。講練結(jié)合，隨學(xué)隨練穩(wěn)步提升。支持試聽~
主講團(tuán)隊(duì)：王江濤、譚劍波、董仲蠡、許聰杰、陳志超、潘赟、鄭艷彤、易熙人