ورود به حساب

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

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

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

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

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

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


09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

دانلود کتاب Logic, Language and Reasoning: Essays in Honour of Dov Gabbay

دانلود کتاب منطق، زبان و استدلال: مقالاتی به افتخار داو گابای

Logic, Language and Reasoning: Essays in Honour of Dov Gabbay

مشخصات کتاب

Logic, Language and Reasoning: Essays in Honour of Dov Gabbay

دسته بندی: منطق
ویرایش:  
نویسندگان:   
سری: Trends in Logic 5 
ISBN (شابک) : 9789401059367, 9789401145749 
ناشر: Kluwer 
سال نشر: 1999 
تعداد صفحات: 430 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 17 مگابایت 

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



کلمات کلیدی مربوط به کتاب منطق، زبان و استدلال: مقالاتی به افتخار داو گابای: منطق، زبان شناسی محاسباتی، منطق و مبانی ریاضی، دستکاری نمادین و جبری، هوش مصنوعی (شامل رباتیک)



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

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


در صورت تبدیل فایل کتاب Logic, Language and Reasoning: Essays in Honour of Dov Gabbay به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

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


توضیحاتی در مورد کتاب منطق، زبان و استدلال: مقالاتی به افتخار داو گابای



th این جلد به Dov Gabbay اختصاص دارد که تولد 50 سالگی خود را در اکتبر 1995 جشن گرفت. Dov یکی از برجسته ترین و سازنده ترین محققینی است که ما تا به حال ملاقات کرده ایم. او تأثیر عمیقی در زمینه های اصلی منطق، زبان شناسی و علوم کامپیوتر داشته است. مشارکت های او در زمینه های منطق، زبان و استدلال به قدری زیاد است که یک بررسی جامع نیمی از این کتاب را پر می کند. به جای خلاصه کردن کارهایش، تصمیم گرفتیم به او اجازه دهیم خودش صحبت کند. او که در ماشینی در مسیر فرودگاه آمستردام نشسته بود، با ژله گربراندی و آن ماری مینور مصاحبه کرد. این مکالمه ضبط شده با او که در آن گنجانده شده است بینشی عمیق به انگیزه های او و دیدگاه او نسبت به جهان، خداوند متعال و البته نقش منطق می دهد. علاوه بر این، این مجلد شامل کتابشناسی جزئی مشروح مقالات و کتابهای اصلی وی است. طول کتابشناسی و گستردگی موضوعاتی که در آنجا به آنها پرداخته می شود خود گویای آن است.


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

th This volume is dedicated to Dov Gabbay who celebrated his 50 birthday in October 1995. Dov is one of the most outstanding and most productive researchers we have ever met. He has exerted a profound influence in major fields of logic, linguistics and computer science. His contributions in the areas of logic, language and reasoning are so numerous that a comprehensive survey would already fill half of this book. Instead of summarizing his work we decided to let him speak for himself. Sitting in a car on the way to Amsterdam airport he gave an interview to Jelle Gerbrandy and Anne-Marie Mineur. This recorded conversation with him, which is included gives a deep insight into his motivations and into his view of the world, the Almighty and, of course, the role of logic. In addition, this volume contains a partially annotated bibliography of his main papers and books. The length of the bibliography and the broadness of the topics covered there speaks for itself.



فهرست مطالب

Front Matter....Pages i-x
Dov Gabbay: “I am a Logic”....Pages 1-12
Research Themes of Dov Gabbay....Pages 13-30
Proofs, Labels and Dynamics in Natural Language....Pages 31-41
What a Linguist Might Want from a Logic of Most and Other Generalized Quantifiers....Pages 43-72
Imperative History: Two-Dimensional Executable Temporal Logic....Pages 73-98
Diagrammatic Reasoning in Projective Geometry....Pages 99-114
On Sentences of the Kind “Sentence ‘ P ’ is about Topic T ”....Pages 115-133
Two Traditions in the Logic of Belief: Bringing them Together....Pages 135-147
Elimination of Predicate Quantifiers....Pages 149-171
Labelled Natural Deduction....Pages 173-250
A General Reasoning Scheme for Underspecified Representations....Pages 251-277
Deductive Systems and Categories in Linguistics....Pages 279-294
Towards a Procedural Model of Natural-Language Interpretation Crossover: A Case Study....Pages 295-334
Transformation Methods in LDS....Pages 335-376
Labelled Deduction in the Composition of Form and Meaning....Pages 377-399
Formalisms for Non-Formal Languages....Pages 401-415
Back Matter....Pages 417-429




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