Record:   Prev Next
作者 Partee, Barbara Hall, author
書名 Mathematical methods in linguistics / by Barbara H. Partee, Alice ter Meulen, and Robert E. Wall
出版項 Dordrecht ; Boston : Kluwer Academic, 1990
國際標準書號 9027722447 (hardback)
9789027722447
9027722455
9789027722454
book jacket
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 歐美所圖書館  410.72 P257 1990    在架上    30500100560583
 人文社會聯圖  P138 P273 1990    在架上    30630000179463
 統計所圖書館  P138 P37 1990    在架上    30570000066957
 統計所圖書館  P138 P37 1990 c.2  在架上    30570000057345
 資訊所圖書室圖書區  I2.7 P273    在架上    30330000073960
 數學所圖書室  P138 P37 1990    在架上    30340200242174
說明 xx, 663 pages : illustrations ; 24 cm
text txt rdacontent
unmediated n rdamedia
volume nc rdacarrier
系列 Studies in linguistics and philosophy ; v. 30
Studies in linguistics and philosophy ; v. 30
附註 Includes bibliographical references (pages 637-642) and index
Part A: Set theory -- Part B: Logic and formal systems -- Part C: Algebra -- Part D: English as a formal language -- Part E: Languages, grammars, and automata
"Elementary set theory accustoms the students to mathematical abstraction, includes the standard constructions of relations, functions, and orderings, and leads to a discussion of the various orders of infinity. The material on logic covers not only the standard statement logic and first-order predicate logic but includes an introduction to formal systems, axiomatization, and model theory. The section on algebra is presented with an emphasis on lattices as well as Boolean and Heyting algebras. Background for recent research in natural language semantics includes sections on lambda-abstraction and generalized quantifiers. Chapters on automata theory and formal languages contain a discussion of languages between context-free and context-sensitive and form the background for much current work in syntactic theory and computational linguistics. The many exercises not only reinforce basic skills but offer an entry to linguistic applications of mathematical concepts. For upper-level undergraduate students and graduate students in theoretical linguistics, computer-science students with interests in computational linguistics, logic programming and artificial intelligence, mathematicians and logicians with interests in linguistics and the semantics of natural language."--BLACKWELL'S
主題 Mathematical linguistics
Mathematical linguistics
Alt Author Meulen, Alice G. B. ter
Wall, Robert Eugene
Record:   Prev Next