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

09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

دانلود کتاب Descriptive Complexity, Canonisation, and Definable Graph Structure Theory

دانلود کتاب پیچیدگی توصیفی ، قانون گذاری و تئوری ساختار نمودار قابل تعریف

مشخصات کتاب

Descriptive Complexity, Canonisation, and Definable Graph Structure Theory

دسته بندی: منطق
ویرایش:  
نویسندگان: Martin Grohe  
سری: Lecture Notes in Logic 
ISBN (شابک) : 1107014522, 9781107014527 
ناشر: Cambridge University Press 
سال نشر: 2017 
تعداد صفحات: 551 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 5 مگابایت

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

کلمات کلیدی مربوط به کتاب پیچیدگی توصیفی ، قانون گذاری و تئوری ساختار نمودار قابل تعریف: منطق، ریاضیات محض، ریاضیات، علوم و ریاضیات، ریاضیات، جبر و مثلثات، حساب دیفرانسیل و انتگرال، هندسه، آمار، علوم و ریاضیات، کتاب های درسی جدید، مستعمل و اجاره ای، بوتیک تخصصی

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

در صورت تبدیل فایل کتاب Descriptive Complexity, Canonisation, and Definable Graph Structure Theory به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

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

توضیحاتی در مورد کتاب پیچیدگی توصیفی ، قانون گذاری و تئوری ساختار نمودار قابل تعریف

نظریه پیچیدگی توصیفی بین پیچیدگی محاسباتی مسائل الگوریتمی (منابع محاسباتی مورد نیاز برای حل مسائل) و پیچیدگی توصیفی آنها (منابع زبانی مورد نیاز برای توصیف مسائل) ارتباط برقرار می کند. این کتاب پیشگامانه به پیچیدگی توصیفی از زاویه نظریه گراف ساختاری مدرن، به‌ویژه نظریه گراف فرعی می‌پردازد. این نظریه یک «تئوری ساختار قابل تعریف» را توسعه می‌دهد که به تعریف منطقی مفاهیم نظری گراف مانند تجزیه درختان و تعبیه‌ها مربوط می‌شود. بخش اول با مقدمه‌ای بر پیش‌زمینه، از منطق، پیچیدگی و نظریه گراف شروع می‌شود و نظریه را تا اولین کاربردها در نظریه پیچیدگی توصیفی و تست هم‌شکلی گراف توسعه می‌دهد. ممکن است به عنوان پایه ای برای دوره های تحصیلات تکمیلی باشد. بخش دوم پیشرفته‌تر است و عمدتاً به اثبات یک قضیه منفرد و قبلاً منتشر نشده اختصاص داده شده است: ویژگی‌های نمودارها با جزئی‌های حذف شده در زمان چندجمله‌ای قابل تصمیم‌گیری هستند، اگر و فقط اگر در منطق نقطه ثابت با شمارش قابل تعریف باشند.

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

Descriptive complexity theory establishes a connection between the computational complexity of algorithmic problems (the computational resources required to solve the problems) and their descriptive complexity (the language resources required to describe the problems). This groundbreaking book approaches descriptive complexity from the angle of modern structural graph theory, specifically graph minor theory. It develops a 'definable structure theory' concerned with the logical definability of graph theoretic concepts such as tree decompositions and embeddings. The first part starts with an introduction to the background, from logic, complexity, and graph theory, and develops the theory up to first applications in descriptive complexity theory and graph isomorphism testing. It may serve as the basis for a graduate-level course. The second part is more advanced and mainly devoted to the proof of a single, previously unpublished theorem: properties of graphs with excluded minors are decidable in polynomial time if, and only if, they are definable in fixed-point logic with counting.