书籍详情
数理语言学
作者：方立著
出版社：北京语言文化大学出版社
出版时间：1997-09-01
ISBN：9787561905746
定价：¥36.00
购买这本书可以去
内容简介
《数理语言学》介绍几种自动机的目的是因为这些自动机跟第13章介绍的几种形式语法存在着一一对应的关系，这就使得我们有可能从一个不同的角度考察这几种形式语法的数学性质，进而也可考察不同生成语法学家建立的句法学的生成能力。
作者简介
暂缺《数理语言学》作者简介
目录
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
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
猜您喜欢
