-
>
貨幣大歷史:金融霸權(quán)與大國興衰六百年
-
>
(精)方力鈞作品圖錄
-
>
《藏書報(bào)》2021合訂本
-
>
(精)中國當(dāng)代書畫名家作品集·范碩:書法卷+繪畫卷(全2卷)
-
>
(噴繪樓閣版)女主臨朝:武則天的權(quán)力之路
-
>
書里掉出來一只狼+狼的故事-全2冊(cè)
-
>
奇思妙想創(chuàng)意玩具書(精裝4冊(cè))
范疇邏輯理論研究 版權(quán)信息
- ISBN:9787556309931
- 條形碼:9787556309931 ; 978-7-5563-0993-1
- 裝幀:暫無
- 冊(cè)數(shù):暫無
- 重量:暫無
- 所屬分類:
范疇邏輯理論研究 內(nèi)容簡介
現(xiàn)代邏輯已逐步發(fā)展成為理論嚴(yán)密、分支眾多、應(yīng)用廣泛的學(xué)科群,正廣泛地滲透到其他科學(xué)技術(shù)領(lǐng)域,并不斷開拓新的研究領(lǐng)域。隨著數(shù)學(xué)研究成果的日益豐富,現(xiàn)代邏輯的發(fā)展越來越趨于抽象化,范疇邏輯就是這種發(fā)展趨勢(shì)下產(chǎn)生的一種邏輯形態(tài),是現(xiàn)代邏輯中的一個(gè)新興領(lǐng)域。范疇邏輯,即范疇論應(yīng)用于邏輯學(xué)的學(xué)科領(lǐng)域。范疇論的應(yīng)用十分廣泛,作為研究結(jié)構(gòu)和結(jié)構(gòu)系統(tǒng)的一般數(shù)學(xué)理論,范疇論統(tǒng)一了各種數(shù)學(xué)結(jié)構(gòu),揭示了許多結(jié)構(gòu)在一個(gè)范疇中實(shí)際上是具有“泛性質(zhì)”的某種對(duì)象,以及不同種類的結(jié)構(gòu)如何能夠互相關(guān)聯(lián)。范疇論已日趨成為代數(shù)學(xué)、拓?fù)鋵W(xué)、邏輯學(xué)和理論計(jì)算機(jī)科學(xué)等各個(gè)領(lǐng)域研究中的一種功能強(qiáng)大的、靈活的形式工具。
- >
羅庸西南聯(lián)大授課錄
- >
【精裝繪本】畫給孩子的中國神話
- >
推拿
- >
唐代進(jìn)士錄
- >
經(jīng)典常談
- >
莉莉和章魚
- >
山海經(jīng)
- >
姑媽的寶刀