دانلود کتاب Finite Model Theory
49,000 تومان
نظریه مدل محدود
| موضوع اصلی | منطق |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Springer |
| تعداد صفحه | 362 |
| حجم فایل | 3 مگابایت |
| کد کتاب | 3540287876,9783540287872 |
| نوبت چاپ | دومین |
| نویسنده | Heinz-Dieter Ebbinghaus, Jorg Flum |
|---|---|
| زبان | انگلیسی |
| فرمت | DJVU |
| سال انتشار | 2005 |
جدول کد تخفیف
| تعداد کتاب | درصد تخفیف | قیمت کتاب |
| 1 | بدون تخفیف | 25,000 تومان |
| 2 | 20 درصد | 20,000 تومان |
| 3 الی 5 | 25 درصد | 18,750 تومان |
| 6 الی 10 | 30 درصد | 17,500 تومان |
| 11 الی 20 | 35 درصد | 16,250 تومان |
| 21 الی 30 | 40 درصد | 15,000 تومان |
| 31 الی 40 | 45 درصد | 13,750 تومان |
| 41 الی 50 | 50 درصد | 12,500 تومان |
| 51 الی 70 | 55 درصد | 11,250 تومان |
| 71 الی 100 | 60 درصد | 10,000 تومان |
| 101 الی 150 | 65 درصد | 8,750 تومان |
| 151 الی 200 | 70 درصد | 7,500 تومان |
| 201 الی 300 | 75 درصد | 6,250 تومان |
| 301 الی 500 | 80 درصد | 5,000 تومان |
| 501 الی 1000 | 85 درصد | 3,750 تومان |
| 1001 الی 10000 | 90 درصد | 2,500 تومان |
ترجمه فارسی توضیحات (ترجمه ماشینی)
نظریه مدل محدود
این یک ویرایش دوم کاملاً اصلاح شده و بزرگشده است (نسخه اول در مجموعه «چشماندازهایی در منطق ریاضی» در سال 1995 منتشر شد) که نتایج اصلی نظریه پیچیدگی توصیفی، یعنی ارتباط بین بدیهیپذیری کلاسهای ساختارهای محدود را ارائه میدهد. پیچیدگی آنها با توجه به محدودیت های زمانی و مکانی. منطقهایی که در این زمینه مهم هستند عبارتند از منطقهای نقطه ثابت، منطقهای بسته متعدی، و همچنین برخی از زبانهای بینهایت. نظریه مدل آنها با جزئیات کامل مورد مطالعه قرار گرفته است. کتاب به گونه ای نوشته شده است که بخش های مربوط به نظریه مدل و نظریه پیچیدگی توصیفی را می توان به طور مستقل خواند.
این کتاب نتایج اصلی نظریه پیچیدگی توصیفی را ارائه میکند، یعنی ارتباط بین بدیهیپذیری کلاسهای ساختارهای محدود و پیچیدگی آنها با توجه به مرزهای زمانی و مکانی. منطقهایی که در این زمینه مهم هستند عبارتند از منطقهای نقطه ثابت، منطقهای بسته متعدی، و همچنین برخی از زبانهای بینهایت. نظریه مدل آنها با جزئیات کامل مورد مطالعه قرار گرفته است. موضوعات دیگر عبارتند از زبان های DATALOG، کمیت کننده ها و اوراکل ها، قوانین 0-1، و مسائل بهینه سازی و تقریب. کتاب به گونه ای نوشته شده است که بخش های مربوط به نظریه مدل و نظریه پیچیدگی توصیفی را می توان به طور مستقل خواند. این ویرایش دوم یک نسخه کاملاً اصلاح شده و بزرگ شده از متن اصلی است.
Finite Model Theory
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.
برای فرستادن دیدگاه، باید وارد شده باشید.
نقد و بررسیها
هنوز بررسیای ثبت نشده است.