注冊(cè) | 登錄讀書(shū)好,好讀書(shū),讀好書(shū)!
讀書(shū)網(wǎng)-DuShu.com
當(dāng)前位置: 首頁(yè)出版圖書(shū)人文社科社會(huì)科學(xué)語(yǔ)言文字數(shù)理語(yǔ)言學(xué)

數(shù)理語(yǔ)言學(xué)

數(shù)理語(yǔ)言學(xué)

定 價(jià):¥36.00

作 者: 方立著
出版社: 北京語(yǔ)言文化大學(xué)出版社
叢編項(xiàng):
標(biāo) 簽: 數(shù)理語(yǔ)言學(xué)

購(gòu)買(mǎi)這本書(shū)可以去


ISBN: 9787561905746 出版時(shí)間: 1997-09-01 包裝: 平裝
開(kāi)本: 20cm 頁(yè)數(shù): 411頁(yè) 字?jǐn)?shù):  

內(nèi)容簡(jiǎn)介

  《數(shù)理語(yǔ)言學(xué)》介紹幾種自動(dòng)機(jī)的目的是因?yàn)檫@些自動(dòng)機(jī)跟第13章介紹的幾種形式語(yǔ)法存在著一一對(duì)應(yīng)的關(guān)系,這就使得我們有可能從一個(gè)不同的角度考察這幾種形式語(yǔ)法的數(shù)學(xué)性質(zhì),進(jìn)而也可考察不同生成語(yǔ)法學(xué)家建立的句法學(xué)的生成能力。

作者簡(jiǎn)介

暫缺《數(shù)理語(yǔ)言學(xué)》作者簡(jiǎn)介

圖書(shū)目錄

1 SetTheory
1.1 SetsandMembers
1.2 SpecificationofaSet
1.5 0perationsonSets
1.6 SomeUsefulLawsinSetTheory
2.3 RelationalDiagrams
2.4 PropertiesofRelations
2.5 EquivalenceRelations
2.6 0rderingRelations
3.1 WaystoIndicateaFunction
3.2 DefinitionofaFunction
3.5 0ne-to-oneFunctions
3.6 0ne-to-oneCorrespondences
3.10CompositeFunctions
3.11 IdentityFunctions
3.12 InversesofCompositeFunctions
3.13 CharacteristicFunctions
4.1 Definition
5 GroupsandIntegraIDomains
5.2 Monoids
5.3 Groups
5.4 Subgroups
6 LatticesandBooleanAlgebras
6.1 LatticesasPosetsandasAlgebras
6.2 PropertiesofaLattice
……
7 Logic:Preliminaries
8 PropositionalLogic
9 PredicateLogic
10 Higher-orderLogic
11 TenseLogicandModalLogic
12 IntensionalLogic
13 TheoryofFormalLanguages
14 TheoryofAutomata
KeytoExercises
References

本目錄推薦

掃描二維碼
Copyright ? 讀書(shū)網(wǎng) ranfinancial.com 2005-2020, All Rights Reserved.
鄂ICP備15019699號(hào) 鄂公網(wǎng)安備 42010302001612號(hào)