دانلود کتاب Finite Model Theory (به فارسی: نظریه مدل محدود) نوشته شده توسط «Heinz-Dieter Ebbinghaus – Jörg Flum»
اطلاعات کتاب نظریه مدل محدود
موضوع اصلی: منطق
نوع: کتاب الکترونیکی
ناشر: Springer
نویسنده: Heinz-Dieter Ebbinghaus – Jörg Flum
زبان: English
فرمت کتاب: djvu (قابل تبدیل به سایر فرمت ها)
سال انتشار: 2005
تعداد صفحه: 362
حجم کتاب: 3 مگابایت
کد کتاب: 3-540-28787-6 , 9783540287872
نوبت چاپ: 2nd
توضیحات کتاب نظریه مدل محدود
این یک ویرایش دوم کاملاً تجدید نظر شده و بزرگ شده است (نسخه اول در مجموعه “چشم انداز در منطق ریاضی” در سال 1995 منتشر شد) که نتایج اصلی نظریه پیچیدگی توصیفی، یعنی ارتباط بین بدیهی‌پذیری کلاس‌های ساختارهای محدود را ارائه می‌دهد. پیچیدگی آنها با توجه به محدودیت های زمانی و مکانی. منطق‌هایی که در این زمینه مهم هستند عبارتند از منطق‌های نقطه ثابت، منطق‌های بسته متعدی، و همچنین برخی از زبان‌های بی‌نهایت. نظریه مدل آنها با جزئیات کامل مورد مطالعه قرار گرفته است. کتاب به گونه ای نوشته شده است که بخش های مربوط به نظریه مدل و نظریه پیچیدگی توصیفی را می توان به طور مستقل خواند.
این کتاب نتایج اصلی نظریه پیچیدگی توصیفی را ارائه می‌کند، یعنی ارتباط بین بدیهی‌پذیری کلاس‌های ساختارهای محدود و پیچیدگی آنها با توجه به مرزهای زمانی و مکانی. منطق‌هایی که در این زمینه مهم هستند عبارتند از منطق‌های نقطه ثابت، منطق‌های بسته متعدی، و همچنین برخی از زبان‌های بی‌نهایت. نظریه مدل آنها با جزئیات کامل مورد مطالعه قرار گرفته است. موضوعات دیگر عبارتند از زبان های DATALOG، کمیت کننده ها و اوراکل ها، قوانین 0-1، و مسائل بهینه سازی و تقریب. کتاب به گونه ای نوشته شده است که بخش های مربوط به نظریه مدل و نظریه پیچیدگی توصیفی را می توان به طور مستقل خواند. این ویرایش دوم یک نسخه کاملاً اصلاح شده و بزرگ شده از متن اصلی است.
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.
برای دریافت کد تخفیف ۲۰ درصدی این کتاب، ابتدا صفحه اینستاگرام کازرون آنلاین (@kazerun.online ) را دنبال کنید. سپس، کلمه «بلیان» را در دایرکت ارسال کنید تا کد تخفیف به شما ارسال شود.