دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب The Logic of Categorial Grammars: A Deductive Account of Natural Language Syntax and Semantics
دانلود کتاب Logic of Cematorial Grammars: Account Siveuctive of syntax (واژگان زبان طبیعی) و معناشناسی
مشخصات کتاب
The Logic of Categorial Grammars: A Deductive Account of Natural Language Syntax and Semantics
دسته بندی: منطق ویرایش: 1 نویسندگان: Richard Moot. Christian Retoré (auth.) سری: Lecture Notes in Computer Science 6850 ISBN (شابک) : 9783642315541, 9783642315558 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2012 تعداد صفحات: 322 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 2 مگابایت
قیمت کتاب (تومان) : 47,000
کلمات کلیدی مربوط به کتاب Logic of Cematorial Grammars: Account Siveuctive of syntax (واژگان زبان طبیعی) و معناشناسی: منطق ریاضی و زبان‌های رسمی، هوش مصنوعی (شامل رباتیک)، منطق و معانی برنامه‌ها، تحلیل الگوریتم و پیچیدگی مسائل، منطق ریاضی و مبانی، زبان‌های برنامه‌نویسی، کامپایلر، Interpre
در صورت تبدیل فایل کتاب The Logic of Categorial Grammars: A Deductive Account of Natural Language Syntax and Semantics به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب Logic of Cematorial Grammars: Account Siveuctive of syntax (واژگان زبان طبیعی) و معناشناسی نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب Logic of Cematorial Grammars: Account Siveuctive of syntax (واژگان زبان طبیعی) و معناشناسی
این کتاب برای دانشجویان علوم کامپیوتر، زبان‌شناسی رسمی، منطق ریاضی و همکاران علاقه‌مند به گرامرهای دسته‌بندی و مبانی منطقی آنها در نظر گرفته شده است. این یادداشت‌های سخنرانی، گرامرهای مقوله‌ای را به‌عنوان سیستم‌های قیاسی، با رویکردی به نام تجزیه به‌عنوان کسر، ارائه می‌کنند و کتاب شامل شواهد دقیقی از ویژگی‌های اصلی آنها است. مقالات در بخش‌های موضوعی در گرامرهای AB، حساب نحوی لامبک، حساب لامبک و گرامر مونتاژ، حساب لامبک غیر انجمنی، حساب لامبک چندوجهی، حساب لامبک، منطق خطی و شبکه‌های اثبات و شبکه‌های اثباتی برای لامبکمحاسبات چندوجهی سازماندهی شده‌اند. p>
توضیحاتی درمورد کتاب به خارجی
This book is intended for students in computer science, formal linguistics, mathematical logic and to colleagues interested in categorial grammars and their logical foundations. These lecture notes present categorial grammars as deductive systems, in the approach called parsing-as-deduction, and the book includes detailed proofs of their main properties. The papers are organized in topical sections on AB grammars, Lambek’s syntactic calculus, Lambek calculus and montague grammar, non-associative Lambek calculus, multimodal Lambek calculus, Lambek calculus, linear logic and proof nets and proof nets for the multimodal Lambek calculus.
فهرست مطالب
Front Matter....Pages -
Classical Categorial Grammars: AB Grammars....Pages 1-22
A Logic for Categorial Grammars: Lambek’s Syntactic Calculus....Pages 23-63
Lambek Calculus and Montague Grammar....Pages 65-99
The Non-associative Lambek Calculus....Pages 101-147
The Multimodal Lambek Calculus....Pages 149-191
Lambek Calculus and Linear Logic: Proof Nets as Parse Structures....Pages 193-238
Proof Nets for the Multimodal Lambek Calculus: From Theory to a Wide-Coverage Categorial Parser....Pages 239-297
Back Matter....Pages -
نظرات کاربران
کتاب های مرتبط
دانلود کتاب Aquatic insects: challenges to populations: proceedings of the Royal Entomological Society's 24th symposium
دانلود کتاب Course of Mathematical Logic. Volume 2: Model Theory
دانلود کتاب Universality in Set Theories: A Study in Formal Ontology
دانلود کتاب Leadership at a Distance: Research in Technologically-Supported Work
دانلود کتاب Specifying Message Passing and Time-Critical Systems with Temporal Logic
دانلود کتاب Predicting Party Sizes: The Logic of Simple Electoral Systems
دانلود کتاب Introduction to mathematical logic
دانلود کتاب Introduction to the theory of logic
دانلود کتاب Mathematical Logic
