Based on an introductory course on natural-language semantics, this book provides an introduction to type-logical grammar and the range of linguistic phenomena that can be handled in categorial grammar. It also contains a great deal of original work on categorial grammar and its application to natural-language semantics. The author chose the type-logical categorial grammar as his grammatical basis because of its broad syntactic coverage and its strong linkage of syntax and semantics. Although its basic orientation is linguistic, the book should also be of interest to logicians and computer scientists seeking connections between logical systems and natural language.The book, which stepwise develops successively more powerful logical and grammatical systems, covers an unusually broad range of material. Topics covered include higher-order logic, applicative categorial grammar, the Lambek calculus, coordination and unbounded dependencies, quantifiers and scope, plurals, pronouns and dependency, modal logic, intensionality, and tense and aspect. The book contains more mathematical development than is usually found in texts on natural language; an appendix includes the basic mathematical concepts used throughout the book.
具體描述
讀後感
評分
評分
評分
評分
用戶評價
OMG終於看完前五章基礎部分瞭，好生澀。lambda演算→古典範疇語法→蘭貝剋演算。其實lambda演算是作為語義錶示後來加裝上去的，最後證明瞭lambda歸約和蘭貝剋證明的某種同構。
评分OMG終於看完前五章基礎部分瞭，好生澀。lambda演算→古典範疇語法→蘭貝剋演算。其實lambda演算是作為語義錶示後來加裝上去的，最後證明瞭lambda歸約和蘭貝剋證明的某種同構。
评分OMG終於看完前五章基礎部分瞭，好生澀。lambda演算→古典範疇語法→蘭貝剋演算。其實lambda演算是作為語義錶示後來加裝上去的，最後證明瞭lambda歸約和蘭貝剋證明的某種同構。
评分OMG終於看完前五章基礎部分瞭，好生澀。lambda演算→古典範疇語法→蘭貝剋演算。其實lambda演算是作為語義錶示後來加裝上去的，最後證明瞭lambda歸約和蘭貝剋證明的某種同構。
评分OMG終於看完前五章基礎部分瞭，好生澀。lambda演算→古典範疇語法→蘭貝剋演算。其實lambda演算是作為語義錶示後來加裝上去的，最後證明瞭lambda歸約和蘭貝剋證明的某種同構。
相關圖書
本站所有內容均為互聯網搜索引擎提供的公開搜索信息，本站不存儲任何數據與內容，任何內容與數據均與本站無關，如有需要請聯繫相關搜索引擎包括但不限於百度，google,bing,sogou 等
© 2025 qciss.net All Rights Reserved. 小哈圖書下載中心 版权所有