تفسیر تابعی استنتاج منطقی ۲۰۱۲
The Functional Interpretation of Logical Deduction 2012

دانلود کتاب تفسیر تابعی استنتاج منطقی ۲۰۱۲ (The Functional Interpretation of Logical Deduction 2012) با لینک مستقیم و فرمت pdf (پی دی اف) و ترجمه فارسی

نویسنده

Anjolina G. de Oliveira

voucher (1)

۳۰ هزار تومان تخفیف با کد «OFF30» برای اولین خرید

سال انتشار

2012

زبان

English

تعداد صفحه‌ها

266

نوع فایل

pdf

حجم

1.9 MB

🏷️ قیمت اصلی: 200,000 تومان بود.قیمت فعلی: 129,000 تومان.

🏷️ قیمت اصلی: ۳۷۸٬۰۰۰ تومان بود. قیمت فعلی: ۲۹۸٬۰۰۰ تومان.

📥 دانلود نسخه‌ی اصلی کتاب به زبان انگلیسی(PDF)
🧠 به همراه ترجمه‌ی فارسی با هوش مصنوعی 🔗 مشاهده جزئیات

پیش‌خرید با تحویل فوری(⚡️) | فایل کتاب حداکثر تا ۳۰ دقیقه(🕒) پس از ثبت سفارش آماده دانلود خواهد بود.

دانلود مستقیم PDF

ارسال فایل به ایمیل

پشتیبانی ۲۴ ساعته

توضیحات

معرفی کتاب تفسیر تابعی استنتاج منطقی ۲۰۱۲

این کتاب جامع، چارچوبی مناسب برای بنا نهادن حساب‌های گوناگون استنتاج منطقی ارائه می‌دهد. این اثر با بهره‌گیری از یک سیستم استنتاج طبیعی غنی‌شده، به تدوین حساب‌های منطقی به شیوه‌ای عملیاتی کمک می‌کند. با آشکار ساختن هماهنگی خاصی بین یک حساب تابعی بر روی برچسب‌ها و یک حساب منطقی بر روی فرمول‌ها، این کتاب بستری ریاضیاتی را برای سیستم‌های ارائه منطق فراهم می‌کند که برای مدیریت ویژگی‌های فرا-سطحی در سطح شیء از طریق یک سازوکار برچسب‌گذاری، مانند سیستم‌های استنتاجی برچسب‌دار D. Gabbay طراحی شده‌اند. کتاب به درستی نشان می‌دهد که معرفی «برچسب‌ها» برای درک خود حسابِ برهان و همچنین روشن ساختن ارتباط آن با تفسیرهای مبتنی بر نظریه مدل، مفید است.


فهرست کتاب:

۱. فهرست

۲. پیشگفتار

۳. مرور کلی

۱. استنتاج طبیعی برچسب‌دار

۲. تفسیر تابعی دلالت

۳. سور وجودی

۴. نرمال‌سازی

۵. استنتاج طبیعی برای تساوی

۶. نرمال‌سازی برای پاره تساوی

۷. منطق‌های وجهی

۸. معنا و اثبات‌ها: تاملی بر معناشناسی نظریه برهان

۱۲. کتاب‌شناسی

۱۳. نمایه

توضیحات(انگلیسی)
This comprehensive book provides an adequate framework to establish various calculi of logical inference. Being an OCyenrichedOCO system of natural deduction, it helps to formulate logical calculi in an operational manner. By uncovering a certain harmony between a functional calculus on the labels and a logical calculus on the formulas, it allows mathematical foundations for systems of logic presentation designed to handle meta-level features at the object-level via a labelling mechanism, such as the D Gabbay's Labelled Deductive Systems. The book truly demonstrates that introducing OCylabelsOCO is useful to understand the proof-calculus itself, and also to clarify its connections with model-theoretic interpretations.


Table of Contents

1. Contents

2. Preface

3. Overview

1. Labelled Natural Deduction

2. The Functional Interpretation of Implication

3. The Existential Quantifier

4. Normalisation

5. Natural Deduction for Equality

6. Normalisation for the Equality Fragment

7. Modal Logics

8. Meaning and Proofs: A Reflection on Proof-Theoretic Semantics

12. Bibliography

13. Index

دیگران دریافت کرده‌اند

سایر کتاب‌های ناشر

✨ ضمانت تجربه خوب مطالعه

بازگشت کامل وجه

در صورت مشکل، مبلغ پرداختی بازگردانده می شود.

دانلود پرسرعت

دانلود فایل کتاب با سرعت بالا

ارسال فایل به ایمیل

دانلود مستقیم به همراه ارسال فایل به ایمیل.

پشتیبانی ۲۴ ساعته

با چت آنلاین و پیام‌رسان ها پاسخگو هستیم.

ضمانت کیفیت کتاب

کتاب ها را از منابع معتیر انتخاب می کنیم.