Lưu ý: Hình bìa chỉ mang tính minh họa — không phải ảnh sách thực tế. Nội dung và bản quyền sách được đảm bảo chính hãng từ nhà xuất bản. Chợ Sách chỉ cam kết sách do người bán cung cấp là sách chính hãng; khiếu nại về bìa khác hình minh họa sẽ được xem xét từng trường hợp.
Mathematical Methods in Linguistics (Studies in Linguistics and Philosophy, 30)
Tác giả: Barbara B.H. Partee, A.G. ter Meulen, R. Wall
NXB: Springer
Chi tiết sản phẩm
Mô tả nội dung sách Mathematical Methods in Linguistics (Studies in Linguistics and Philosophy, 30) - Barbara B.H. Partee
Thông tin sách: Mathematical Methods in Linguistics (Studies in Linguistics and Philosophy, 30) (Hardcover, 688 trang) – Springer, 1990. Ngôn ngữ: Tiếng Anh.
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. Forupper-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.Giá bán
7.970.000 ₫
Đánh giá sản phẩm(29)
Sách cùng tác giả Barbara B.H. Partee
Xem tất cả →
Sách cùng thể loại
Xem tất cả →
0Kill It with Fire: Manage Aging Computer Systems (and Future Proof Modern Ones)
Marianne Bellotti
547.000 ₫
0HTML, CSS & JavaScript in easy steps
Mike McGrath
522.000 ₫
0Fundamentals of Music Processing: Using Python and Jupyter Notebooks
Meinard Müller
2.229.000 ₫
2.950.000 ₫
03D Game Engine Architecture: Engineering Real-Time Applications with Wild Magic (The Morgan Kaufmann Series in Interactive 3D Technology)
David Eberly
6.221.000 ₫
0Balanced Automation Systems for Future Manufacturing Networks: 9th IFIP WG 5.5 International Conference, BASYS 2010, Valencia, Spain, July 21-23, ... and Communication Technology, 322)
Ángel Ortiz Bas, Rubén Dario Franco, Pedro Gómez Gasquet
1.803.000 ₫
0Character Development and Storytelling for Games
Lee Sheldon
Liên hệ
0
0HIGH DENSITY DATA STORAGE: PRINCIPLE, TECHNOLOGY, AND MATERIALS
Song Yanlin
2.175.000 ₫
0Artificial Intelligence: A New Synthesis
Nils J. Nilsson
1.575.000 ₫
3.376.000 ₫
0Contextual Design: Defining Customer-Centered Systems (Interactive Technologies)
Karen Holtzblatt, Hugh Beyer
1.383.000 ₫
3.178.000 ₫
0Introduction to 3D Game Programming with DirectX 11
Frank Luna
1.242.000 ₫
1.836.000 ₫
0AutoCAD 2023 Tutorial Second Level 3D Modeling
Randy H. Shih
2.622.000 ₫
0Definitive Guide to DAX, The: Business intelligence with Microsoft Excel, SQL Server Analysis Services, and Power BI
Alberto Ferrari
1.586.000 ₫