دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
ویرایش: 0 نویسندگان: Allen L. Mann, Gabriel Sandu, Merlijn Sevenster سری: London Mathematical Society Lecture Note Series ISBN (شابک) : 0521149347, 9780521149341 ناشر: Cambridge University Press سال نشر: 2011 تعداد صفحات: 216 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 3 مگابایت
در صورت تبدیل فایل کتاب Independence-Friendly Logic: A Game-Theoretic Approach به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب منطق استقلال-دوستانه: یک رویکرد بازی-تئوری نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
این کتاب با گردآوری بیش از بیست سال تحقیق، نمای کلی کاملی از منطق دوستدار استقلال ارائه می دهد. این رویکرد بر رویکرد نظری بازی به منطق تأکید می کند، که طبق آن مفاهیم منطقی مانند صدق و کذب به بهترین وجه از طریق مفهوم بازی های معنایی درک می شوند. این کتاب با نشان دادن چگونگی استفاده از استراتژیها و تعادلهای ترکیبی برای تجزیه و تحلیل فرمولهای استقلالطلب بر روی مدلهای محدود، پارادایم معناشناسی نظری بازی را فراتر از ادبیات فعلی سوق میدهد. این کتاب برای دانشجویان کارشناسی ارشد و کارشناسی ارشد که دوره های منطق درجه یک را گذرانده اند مناسب است. این شامل یک آغازگر از پیشینه لازم در تئوری بازی ها، مثال های متعدد و اثبات کامل است
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