ورود به حساب

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

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

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

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

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

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


09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

دانلود کتاب Finite Model Theory

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

Finite Model Theory

مشخصات کتاب

Finite Model Theory

دسته بندی: منطق
ویرایش: 2nd 
نویسندگان:   
سری: Springer Monographs in Mathematics 
ISBN (شابک) : 3540287876, 9783540287872 
ناشر: Springer 
سال نشر: 2005 
تعداد صفحات: 363 
زبان: English 
فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 2 مگابایت 

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



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

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


در صورت تبدیل فایل کتاب Finite Model Theory به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

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


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

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

این کتاب نتایج اصلی نظریه پیچیدگی توصیفی را ارائه می‌کند، یعنی ارتباط بین بدیهی‌پذیری کلاس‌های ساختارهای محدود و پیچیدگی آنها با توجه به مرزهای زمانی و مکانی. منطق‌هایی که در این زمینه مهم هستند عبارتند از منطق‌های نقطه ثابت، منطق‌های بسته متعدی، و همچنین برخی از زبان‌های بی‌نهایت. نظریه مدل آنها با جزئیات کامل مورد مطالعه قرار گرفته است. موضوعات دیگر عبارتند از زبان های DATALOG، کمیت کننده ها و اوراکل ها، قوانین 0-1، و مسائل بهینه سازی و تقریب. کتاب به گونه ای نوشته شده است که بخش های مربوط به نظریه مدل و نظریه پیچیدگی توصیفی را می توان به طور مستقل خواند. این ویرایش دوم یک نسخه کاملاً اصلاح شده و بزرگ شده از متن اصلی است.


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

This is a thoroughly revised and enlarged second edition (the first edition was published in the "Perspectives in Mathematical Logic" series in 1995) that presents the main results of descriptive complexity theory, that is, the connections between axiomatizability of classes of finite structures and their complexity with respect to time and space bounds. The logics that are important in this context include fixed-point logics, transitive closure logics, and also certain infinitary languages; their model theory is studied in full detail. The book is written in such a way that the respective parts on model theory and descriptive complexity theory may be read independently.

The book presents the main results of descriptive complexity theory, that is, the connections between axiomatizability of classes of finite structures and their complexity with respect to time and space bounds. The logics that are important in this context include fixed-point logics, transitive closure logics, and also certain infinitary languages; their model theory is studied in full detail. Other topics include DATALOG languages, quantifiers and oracles, 0-1 laws, and optimization and approximation problems. The book is written in such a way that the respective parts on model theory and descriptive complexity theory may be read independently. This second edition is a thoroughly revised and enlarged version of the original text.



فهرست مطالب

Front Matter....Pages I-XI
Preliminaries....Pages 1-12
The Ehrenfeucht-Fraïssé Method....Pages 13-35
More on Games....Pages 37-69
0-1 Laws....Pages 71-93
Satisfiability in the Finite....Pages 95-103
Finite Automata and Logic: A Microcosm of Finite Model Theory....Pages 105-117
Descriptive Complexity Theory....Pages 119-164
Logics with Fixed-Point Operators....Pages 165-238
Logic Programs....Pages 239-273
Optimization Problems....Pages 275-285
Logics for PTIME....Pages 287-306
Quantifiers and Logical Reductions....Pages 307-338
Back Matter....Pages 339-360




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