دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
دسته بندی: منطق ویرایش: 2nd نویسندگان: Heinz-Dieter Ebbinghaus. Jörg Flum سری: Springer Monographs in Mathematics ISBN (شابک) : 3540287876, 9783540287872 ناشر: Springer سال نشر: 2005 تعداد صفحات: 363 زبان: English فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 2 مگابایت
در صورت تبدیل فایل کتاب 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