دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Generalized Quantifiers and Computation: 9th European Summer School in Logic, Language, and Information ESSLLI’97Workshop Aix-en-Provence, France, August 11–22, 1997 Revised Lectures
دانلود کتاب کمیت و محاسبات تعمیم یافته: نهمین مدرسه تابستانی اروپایی در منطق، زبان و اطلاعات ESSLLI'97 Workshop Aix-en-Provence، فرانسه، 11 تا 22 اوت، 1997 سخنرانی های اصلاح شده
مشخصات کتاب
Generalized Quantifiers and Computation: 9th European Summer School in Logic, Language, and Information ESSLLI’97Workshop Aix-en-Provence, France, August 11–22, 1997 Revised Lectures
ویرایش: 1 نویسندگان: Jouko Väänänen (auth.), Jouko Väänänen (eds.) سری: Lecture Notes in Computer Science 1754 ISBN (شابک) : 9783540669937, 9783540465836 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 1999 تعداد صفحات: 145 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 1 مگابایت
قیمت کتاب (تومان) : 37,000
در صورت تبدیل فایل کتاب Generalized Quantifiers and Computation: 9th European Summer School in Logic, Language, and Information ESSLLI’97Workshop Aix-en-Provence, France, August 11–22, 1997 Revised Lectures به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب کمیت و محاسبات تعمیم یافته: نهمین مدرسه تابستانی اروپایی در منطق، زبان و اطلاعات ESSLLI'97 Workshop Aix-en-Provence، فرانسه، 11 تا 22 اوت، 1997 سخنرانی های اصلاح شده نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب کمیت و محاسبات تعمیم یافته: نهمین مدرسه تابستانی اروپایی در منطق، زبان و اطلاعات ESSLLI'97 Workshop Aix-en-Provence، فرانسه، 11 تا 22 اوت، 1997 سخنرانی های اصلاح شده
این کتاب شامل نسخه‌های کامل اصلاح‌شده سخنرانی‌هایی است که در نهمین مدرسه تابستانی اروپایی در منطق، زبان‌ها و اطلاعات، ESSLLI'97، که در آگوست 1997 در اکس‌آن‌پروونس، فرانسه برگزار شد. شش سخنرانی ارائه‌شده، به معرفی خواننده به وضعیت هنر در زمینه کمیت سازهای تعمیم یافته و محاسبات. علاوه بر بررسی مقدماتی توسط ویرایشگر حجم، جنبه‌های مختلف کمی‌سازهای تعمیم‌یافته به‌طور عمیق مورد مطالعه قرار می‌گیرند.
توضیحاتی درمورد کتاب به خارجی
This book comprises revised full versions of lectures given during the 9th European Summer School in Logic, Languages, and Information, ESSLLI'97, held in Aix-en-Provence, France, in August 1997. The six lectures presented introduce the reader to the state of the art in the area of generalized quantifiers and computation. Besides an introductory survey by the volume editor various aspects of generalized quantifiers are studied in depth.
فهرست مطالب
Generalized Quantifiers, an Introduction....Pages 1-17
Counting and Locality over Finite Structures A Survey....Pages 18-50
A Perspective on Lindström Quantifiers and Oracles....Pages 51-71
Generalized Quantifiers in Logic Programs....Pages 72-98
A Generalized Quantifier Concept in Computational Complexity Theory....Pages 99-123
Ramsey Theory Is Needed for Solving Definability Problems of Generalized Quantifiers....Pages 124-139
