نرم افزار: سیستم ها: محاسبات علمی

منطق وابستگی: رویکردی جدید به منطق دوستانه استقلال

Dependence logic: a new approach to independence friendly logic

دانلود کتاب Dependence logic: a new approach to independence friendly logic (به فارسی: منطق وابستگی: رویکردی جدید به منطق دوستانه استقلال) نوشته شده توسط «Vaananen J.»

اطلاعات کتاب منطق وابستگی: رویکردی جدید به منطق دوستانه استقلال

موضوع اصلی: ریاضیات

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

ناشر: Cambridge University Press

نویسنده: Vaananen J.

زبان: english

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

سال انتشار: 2007

تعداد صفحه: 237

حجم فایل: 1.48 مگابایت

کد کتاب: 0521876591 , 9780521876599

توضیحات کتاب منطق وابستگی: رویکردی جدید به منطق دوستانه استقلال

وابستگی یک پدیده رایج است به هر کجا که نگاه کنیم: سیستم های زیست محیطی، نجوم، تاریخ بشر، بازارهای سهام – اما منطق وابستگی چیست؟ این کتاب اولین کتابی است که مطالعه منطقی سیستماتیک این مفهوم مهم را انجام می‌دهد و در راه به بررسی دقیق ریاضی منطق دوستانه هینتیککا می‌پردازد. منطق وابستگی مفهوم وابستگی را به منطق مرتبه اول اضافه می کند. در اینجا نحو و معناشناسی منطق وابستگی مورد مطالعه قرار می گیرد، منطق وابستگی یک معناشناسی نظری بازی جایگزین داده می شود و نتایج واضح در مورد پیچیدگی آن اثبات می شود. این کتاب درسی مناسب برای یک دوره ویژه منطق در گروه های ریاضی، فلسفه و علوم کامپیوتر است و شامل بیش از 200 تمرین است که بسیاری از آنها در انتهای کتاب دارای راه حل کامل هستند. همچنین برای خوانندگان با دانش اولیه منطق، علاقه مند به پدیده های جدید در منطق، در دسترس است.

Dependence is a common phenomenon wherever one looks: ecological systems, astronomy, human history, stock markets -but what is the logic of dependence? This book is the first to carry out a systematic logical study of this important concept, giving on the way a precise mathematical treatment of Hintikka’s independence friendly logic. Dependence logic adds the concept of dependence to first-order logic. Here the syntax and semantics of dependence logic are studied, dependence logic is given an alternative game-theoretic semantics, and sharp results about its complexity are proven. This is a textbook suitable for a special course in logic in mathematics, philosophy, and computer science departments, and contains over 200 exercises, many of which have a full solution at the end of the book. It is also accessible to readers with a basic knowledge of logic, interested in new phenomena in logic.

دانلود کتاب «منطق وابستگی: رویکردی جدید به منطق دوستانه استقلال»

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

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

برچسب ها

دیدگاهتان را بنویسید

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