数理语言学

书籍目录

1 SetTheory1.1 SetsandMembers1.2 SpecificationofaSet1.5 0perationsonSets1.6 SomeUsefulLawsinSetTheory2.3 RelationalDiagrams2.4 PropertiesofRelations2.5 EquivalenceRelations2.6 0rderingRelations3.1 WaystoIndicateaFunction3.2 DefinitionofaFunction3.5 0ne-to-oneFunctions3.6 0ne-to-oneCorrespondences3.10CompositeFunctions3.11 IdentityFunctions3.12 InversesofCompositeFunctions3.13 CharacteristicFunctions4.1 Definition5 GroupsandIntegraIDomains5.2 Monoids5.3 Groups5.4 Subgroups6 LatticesandBooleanAlgebras6.1 LatticesasPosetsandasAlgebras6.2 PropertiesofaLattice……7 Logic:Preliminaries8 PropositionalLogic9 PredicateLogic10 Higher-orderLogic11 TenseLogicandModalLogic12 IntensionalLogic13 TheoryofFormalLanguages14 TheoryofAutomataKeytoExercisesReferences

作者简介

　　《数理语言学》介绍几种自动机的目的是因为这些自动机跟第13章介绍的几种形式语法存在着一一对应的关系，这就使得我们有可能从一个不同的角度考察这几种形式语法的数学性质，进而也可考察不同生成语法学家建立的句法学的生成能力。

图书封面

 数理语言学下载