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

منطق و شمارش متغیر محدود: مطالعه در مدل های محدود

Bounded variable logics and counting: A study in finite models

دانلود کتاب Bounded variable logics and counting: A study in finite models (به فارسی: منطق و شمارش متغیر محدود: مطالعه در مدل های محدود) نوشته شده توسط «Martin Otto»

اطلاعات کتاب منطق و شمارش متغیر محدود: مطالعه در مدل های محدود

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

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

ناشر: Springer

نویسنده: Martin Otto

زبان: English

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

سال انتشار: 1997

تعداد صفحه: 197

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

کد کتاب: 3540620370 , 9783540620372

توضیحات کتاب منطق و شمارش متغیر محدود: مطالعه در مدل های محدود

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

This monograph offers comprehensive treatment of a variety of results in the finite model theory. The exposition includes introductory sections on the relevant logics, model theoretic concepts, and the programme of descriptive complexity.

دانلود کتاب «منطق و شمارش متغیر محدود: مطالعه در مدل های محدود»

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

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

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