数理语言学

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