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

منطق دوستدار استقلال: رویکرد نظری بازی

Independence-Friendly Logic: A Game-Theoretic Approach

دانلود کتاب Independence-Friendly Logic: A Game-Theoretic Approach (به فارسی: منطق دوستدار استقلال: رویکرد نظری بازی) نوشته شده توسط «Allen L. Mann – Gabriel Sandu – Merlijn Sevenster»


اطلاعات کتاب منطق دوستدار استقلال: رویکرد نظری بازی

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

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

ناشر: Cambridge University Press

نویسنده: Allen L. Mann – Gabriel Sandu – Merlijn Sevenster

زبان: english

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

سال انتشار: 2011

تعداد صفحه: 216

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

کد کتاب: 0521149347 , 9780521149341

نوبت چاپ: 1

توضیحات کتاب منطق دوستدار استقلال: رویکرد نظری بازی

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


Bringing together over twenty years of research, this book gives a complete overview of independence-friendly logic. It emphasizes the game-theoretical approach to logic, according to which logical concepts such as truth and falsity are best understood via the notion of semantic games. The book pushes the paradigm of game-theoretical semantics further than the current literature by showing how mixed strategies and equilibria can be used to analyze independence-friendly formulas on finite models. The book is suitable for graduate students and advanced undergraduates who have taken a course on first-order logic. It contains a primer of the necessary background in game theory, numerous examples and full proofs.

دانلود کتاب «منطق دوستدار استقلال: رویکرد نظری بازی»

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

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