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

定　價(jià)：￥36.00

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

購買這本書可以去

京東 (￥36.00)

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

內(nèi)容簡介

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

作者簡介

暫缺《數(shù)理語言學(xué)》作者簡介

圖書目錄

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