抽象地研究各種代數(shù)體系的結(jié)構(gòu)與性質(zhì)的科學(xué)。又稱(chēng)近世代數(shù)學(xué),近代數(shù)學(xué)的重要分支學(xué)科。各種代數(shù)體系是抽象代數(shù)學(xué)的研究對(duì)象。抽象代數(shù)學(xué)從創(chuàng)立到現(xiàn)在已有一百多年的歷史,到目前已發(fā)展成為一門(mén)涉及多個(gè)學(xué)科、具有廣泛應(yīng)用...[繼續(xù)閱讀]

    運(yùn)用代數(shù)方法研究具有線性結(jié)構(gòu)的數(shù)學(xué)對(duì)象的科學(xué)。近代數(shù)學(xué)的重要分支學(xué)科。線性代數(shù)學(xué)以具有代數(shù)結(jié)構(gòu)的數(shù)學(xué)對(duì)象的代數(shù)性質(zhì)以及運(yùn)算規(guī)律為研究對(duì)象。自從西爾威斯特(J.J.Sylvester,1814～1897)、凱利(A.Cayley,1821～1895)等人創(chuàng)立線性...[繼續(xù)閱讀]

    研究數(shù)與數(shù)、數(shù)與字母運(yùn)算性質(zhì)和規(guī)律的科學(xué)。代數(shù)方程是高等代數(shù)的主要研究對(duì)象。早在16世紀(jì)中葉,意大利數(shù)學(xué)家就發(fā)現(xiàn)了三、四次代數(shù)方程的根式求解法。后來(lái)對(duì)高次方程求解問(wèn)題的研究,導(dǎo)致了新數(shù)學(xué)分支——群論的產(chǎn)生。法...[繼續(xù)閱讀]

    研究具有一種結(jié)合法的特殊代數(shù)系——群的科學(xué)。代數(shù)學(xué)的分支學(xué)科。如果在元素集合G中定義了一種叫乘法的運(yùn)算,并且這個(gè)運(yùn)算滿足下面四個(gè)條件:(1)對(duì)任意f,g∈G,必有fg∈G;(2)對(duì)任意f,g,h∈G,都有(fg)h=f(gh);(3)G中有唯一的e,使得對(duì)G中任...[繼續(xù)閱讀]

    研究具有一種結(jié)合法的特殊代數(shù)系——半群的科學(xué)。代數(shù)學(xué)的分支學(xué)科。如果在元素集合S中定義了一種叫做乘法的二元運(yùn)算,并且這個(gè)二元運(yùn)算滿足結(jié)合律,即對(duì)S中任意三個(gè)元素a,b,c都有(ab)c=a(bc),則稱(chēng)S為半群。各種半群的結(jié)構(gòu)、各種...[繼續(xù)閱讀]

    利用分析工具研究具有微分流形結(jié)構(gòu)的群的性質(zhì)的學(xué)科,又稱(chēng)為李群。代數(shù)學(xué)的分支學(xué)科。李氏群理論的所有研究建立在可微分坐標(biāo)的運(yùn)用上,它并不直接研究群的性質(zhì),而是研究表達(dá)乘法法則的方程組zi＝fi(x,y)=f(x1,…,xr;y1,…,yr)的性質(zhì)...[繼續(xù)閱讀]

    利用數(shù)學(xué)方法研究邏輯規(guī)律的科學(xué)。又稱(chēng)邏輯代數(shù)、開(kāi)關(guān)代數(shù)。取一個(gè)形式符號(hào)系統(tǒng),其中有常符號(hào)0,1,一元函數(shù)符號(hào)“-”:二元函數(shù)符號(hào)“+”;以及關(guān)于這組符號(hào)的形式公理系統(tǒng)A1:x+y=y+x,x·y=y·x;A2:x+(y·z)=(x+y)·(x+z),x·(y+z)=x·y+x·z;A3:x+...[繼續(xù)閱讀]

    研究具有兩種結(jié)合法的特殊代數(shù)系——環(huán)的科學(xué)。代數(shù)學(xué)的分支學(xué)科。如果元素集合R既是一個(gè)加法(交換)群,又是一個(gè)乘法半群,并且加法與乘法適合分配律,即對(duì)R中任意元素a,b,c,有a(b+c)=ab+ac;(b+c)a=ba+ca,則稱(chēng)R為環(huán)。各種環(huán)的結(jié)構(gòu)以及各...[繼續(xù)閱讀]

    用數(shù)學(xué)方法研究推理過(guò)程的規(guī)律,特別是研究數(shù)學(xué)證明的科學(xué)。又稱(chēng)符號(hào)邏輯或理論邏輯,數(shù)學(xué)的分支學(xué)科。它研究的直接對(duì)象是符號(hào)、公式和規(guī)則系統(tǒng),即邏輯演算。用數(shù)學(xué)方法研究邏輯系統(tǒng)的思想,首先由萊布尼茨(G.W.Leibniz,1646～1...[繼續(xù)閱讀]

    研究由原子命題經(jīng)命題連接詞構(gòu)成的復(fù)合命題以及這些命題之間的邏輯關(guān)系的科學(xué)。又稱(chēng)命題演算,數(shù)理邏輯的分支學(xué)科。這里所說(shuō)的命題包括具有真假值的命題,也包括形式命題。設(shè)a,b是原子命題,則使用命題連接詞、∧、∨、→和...[繼續(xù)閱讀]