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

09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

دانلود کتاب Finite model theory and its applications

دانلود کتاب تئوری مدل محدود و کاربرد آن

مشخصات کتاب

Finite model theory and its applications

دسته بندی: منطق
ویرایش: 1 
نویسندگان: Erich Grädel,  Phokion G. Kolaitis,  Leonid Libkin,  Maarten Marx,  Joel Spencer,  Moshe Y. Vardi,  Yde Venema,  Scott Weinstein  
سری: Texts in theoretical computer science 1862-4499 
ISBN (شابک) : 3540004289, 9783540004288 
ناشر: Springer 
سال نشر: 2007 
تعداد صفحات: 447 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 3 مگابایت

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

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

در صورت تبدیل فایل کتاب Finite model theory and its applications به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب تئوری مدل محدود و کاربرد آن نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.

توضیحاتی در مورد کتاب تئوری مدل محدود و کاربرد آن

این کتاب یک مرور کلی از موضوعات اصلی نظریه مدل محدود ارائه می دهد؟ قدرت بیان، پیچیدگی توصیفی و قوانین صفر و یک؟ همراه با برنامه های کاربردی منتخب مربوط به نظریه پایگاه داده و هوش مصنوعی، به ویژه پایگاه داده های محدودیت و مشکلات رضایت از محدودیت. فصل آخر یک مقدمه مختصر مدرن بر منطق مدال ارائه می‌کند و بر تداوم روح و تکنیک با نظریه مدل محدود تأکید می‌کند. این روح زیربنایی شامل استفاده از قطعات مختلف و سلسله مراتب در منطق های مرتبه اول، مرتبه دوم، نقطه ثابت و بی نهایت برای به دست آوردن بینش در مورد پدیده های نظریه پیچیدگی و ترکیبیات است.

کتاب بر این موضوع تأکید دارد. استفاده از بازی های ترکیبی، مانند بسط و اصلاحات بازی سنگریزه Ehrenfeucht-Fraisse، به عنوان روشی قدرتمند برای تجزیه و تحلیل قدرت بیان چنین منطق هایی، و نشان می دهد که چگونه مفاهیم عمیق از نظریه مدل و ترکیبیات، مانند حداقل o و عرض درخت، به طور طبیعی در کاربرد نظریه مدل محدود در تئوری پایگاه داده و هوش مصنوعی به وجود می آید.

دانشجویان منطق و علوم کامپیوتر در اینجا ابزارهای لازم برای شروع تحقیق در مورد نظریه مدل محدود را خواهند یافت و همه خوانندگان هیجان را تجربه خواهند کرد. یک منطقه پر جنب و جوش از کاربرد منطق در علوم کامپیوتر.

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

This book gives a comprehensive overview of central themes of finite model theory ? expressive power, descriptive complexity, and zero-one laws ? together with selected applications relating to database theory and artificial intelligence, especially constraint databases and constraint satisfaction problems. The final chapter provides a concise modern introduction to modal logic, emphasizing the continuity in spirit and technique with finite model theory. This underlying spirit involves the use of various fragments of and hierarchies within first-order, second-order, fixed-point, and infinitary logics to gain insight into phenomena in complexity theory and combinatorics.

The book emphasizes the use of combinatorial games, such as extensions and refinements of the Ehrenfeucht-Fraisse pebble game, as a powerful way to analyze the expressive power of such logics, and illustrates how deep notions from model theory and combinatorics, such as o-minimality and treewidth, arise naturally in the application of finite model theory to database theory and AI.

Students of logic and computer science will find here the tools necessary to embark on research into finite model theory, and all readers will experience the excitement of a vibrant area of the application of logic to computer science.