نظریه مدل محدود – وبلاگ کتابخانه دیجیتال بلیان

Finite Model Theory

دانلود کتاب Finite Model Theory (به فارسی: نظریه مدل محدود) نوشته شده توسط «Heinz-Dieter Ebbinghaus – Jörg Flum»

اطلاعات کتاب نظریه مدل محدود

موضوع اصلی: منطق

نوع: کتاب الکترونیکی

ناشر: Springer

نویسنده: Heinz-Dieter Ebbinghaus – Jörg Flum

زبان: English

فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها)

سال انتشار: 2005

تعداد صفحه: 360

حجم کتاب: 16 مگابایت

کد کتاب: 3-540-28787-6 , 3-540-65758-4 , 978-3-540-28787-2

نوبت چاپ: 2nd

توضیحات کتاب نظریه مدل محدود

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

This is a thoroughly revised and enlarged second edition 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.

دانلود کتاب «نظریه مدل محدود»

مبلغی که بابت خرید کتاب می‌پردازیم به مراتب پایین‌تر از هزینه‌هایی است که در آینده بابت نخواندن آن خواهیم پرداخت.

برای دریافت کد تخفیف ۲۰ درصدی این کتاب، ابتدا صفحه اینستاگرام کازرون آنلاین (@kazerun.online ) را دنبال کنید. سپس، کلمه «بلیان» را در دایرکت ارسال کنید تا کد تخفیف به شما ارسال شود.

برچسب ها

اطلاعات کتاب نظریه مدل محدود

توضیحات کتاب نظریه مدل محدود

نوشته های مشابه