ورود به حساب

نام کاربری گذرواژه

گذرواژه را فراموش کردید؟ کلیک کنید

حساب کاربری ندارید؟ ساخت حساب

ساخت حساب کاربری

نام نام کاربری ایمیل شماره موبایل گذرواژه

برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید


09117307688
09117179751

در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید

دسترسی نامحدود

برای کاربرانی که ثبت نام کرده اند

ضمانت بازگشت وجه

درصورت عدم همخوانی توضیحات با کتاب

پشتیبانی

از ساعت 7 صبح تا 10 شب

دانلود کتاب Language in Action: Categories, Lambdas and Dynamic Logic

دانلود کتاب زبان در عمل: دسته بندی ها، Lambdas و منطق پویا

Language in Action: Categories, Lambdas and Dynamic Logic

مشخصات کتاب

Language in Action: Categories, Lambdas and Dynamic Logic

دسته بندی: منطق
ویرایش:  
نویسندگان:   
سری: Studies in Logic and the Foundations of Mathematics, Volume 130 
ISBN (شابک) : 0444890009, 9780444890009 
ناشر: North Holland 
سال نشر: 1991 
تعداد صفحات: 357 
زبان: English 
فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 2 مگابایت

قیمت کتاب (تومان) : 48,000



ثبت امتیاز به این کتاب

میانگین امتیاز به این کتاب :
       تعداد امتیاز دهندگان : 10


در صورت تبدیل فایل کتاب Language in Action: Categories, Lambdas and Dynamic Logic به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب زبان در عمل: دسته بندی ها، Lambdas و منطق پویا نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.


توضیحاتی در مورد کتاب زبان در عمل: دسته بندی ها، Lambdas و منطق پویا

این تک نگاری زندگی خود را به عنوان مجموعه ای از مقالات مستندسازی پنج سال تحقیق در زمینه مبانی منطقی گرامر مقوله ای آغاز کرد، یک پارادایم گرامری که تشابه نزدیکی با حساب لامبدا و نظریه نوع دارد. نظریه فنی ارائه شده در اینجا از رابط بین منطق و زبان شناسی و به ویژه نظریه کمی سازی تعمیم یافته ناشی می شود. یک چارچوب طبقه‌بندی با معناشناسی حساب لامبدا محور وسیله‌ای مناسب برای تعمیم بینش معنایی (که در گوشه‌های مختلف زبان طبیعی به دست می‌آید) به یک نظریه منسجم است.

هدف این کتاب این است که به منطق‌دانان دیگر نشان دهد که حساب لامبدا کاربردی حاصل دارای ذاتی است. علاقه منطقی در تحلیل نهایی، ایده فقط «شکستن رمز نحوی» زبان‌های طبیعی نیست، بلکه درک عملکرد شناختی ذهن انسان است.


توضیحاتی درمورد کتاب به خارجی

This monograph began life as a series of papers documenting five years of research into the logical foundations of Categorial Grammar, a grammatical paradigm which has close analogies with Lambda Calculus and Type Theory. The technical theory presented here stems from the interface between Logic and Linguistics and, in particular, the theory of generalized quantification. A categorical framework with lambda calculus-oriented semantics is a convenient vehicle for generalizing semantic insights (obtained in various corners of natural language) into one coherent theory.

The book aims to demonstrate to fellow logicians that the resulting applied lambda calculus has intrinsic logical interest. In the final analysis, the idea is not just to `break the syntactic code' of natural languages but to understand the cognitive functioning of the human mind.





نظرات کاربران

تمامی حقوق معنوی و مادی وبسایت متعلق به اینترنشنال لایبرری می باشد
نماد اعتماد الکترونیکی