ورود به حساب

نام کاربری گذرواژه

گذرواژه را فراموش کردید؟ کلیک کنید

حساب کاربری ندارید؟ ساخت حساب

ساخت حساب کاربری

نام نام کاربری ایمیل شماره موبایل گذرواژه

برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید


09117307688
09117179751

در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید

دسترسی نامحدود

برای کاربرانی که ثبت نام کرده اند

ضمانت بازگشت وجه

درصورت عدم همخوانی توضیحات با کتاب

پشتیبانی

از ساعت 7 صبح تا 10 شب

دانلود کتاب Interactive Logic: Selected Papers from the 7th Augustus de Morgan Workshop, London

دانلود کتاب منطق تعاملی: مقالات منتخب از هفتمین کارگاه آموزشی آگوستوس دو مورگان، لندن

Interactive Logic: Selected Papers from the 7th Augustus de Morgan Workshop, London

مشخصات کتاب

Interactive Logic: Selected Papers from the 7th Augustus de Morgan Workshop, London

دسته بندی: منطق
ویرایش:  
نویسندگان: , ,   
سری: Texts in Logic and Games, Volume 1 
ISBN (شابک) : 9053563563, 9789048501120 
ناشر: Amsterdam University Press 
سال نشر: 2008 
تعداد صفحات: 363 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 3 مگابایت

قیمت کتاب (تومان) : 47,000



ثبت امتیاز به این کتاب

میانگین امتیاز به این کتاب :
       تعداد امتیاز دهندگان : 8


در صورت تبدیل فایل کتاب Interactive Logic: Selected Papers from the 7th Augustus de Morgan Workshop, London به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

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


توضیحاتی در مورد کتاب منطق تعاملی: مقالات منتخب از هفتمین کارگاه آموزشی آگوستوس دو مورگان، لندن

به طور سنتی، منطق با مفاهیم حقیقت و استدلال سروکار داشته است. با این حال، در چند دهه گذشته، تمرکز پژوهش در منطق به حوزه وسیع منطق تعاملی - حوزه منطق برای ارتباطات و تعامل - تغییر کرده است. کاربردهای اصلی این حرکت رویکردهای منطقی به بازی ها و نرم افزارهای اجتماعی است. غنای این برنامه ها در هفتمین کارگاه آموزشی آگوستوس دو مورگان در نوامبر 2005 مورد توجه قرار گرفت. این مجموعه از مقالات این کارگاه به عنوان جلد اولیه در سری جدید Texts in Logics and Games عمل می کند که بر روی تحقیق در منطق، ریاضیات، کامپیوتر تاثیر می گذارد. علم و نظریه بازی "نمایش فوق العاده ای از موضوعات معاصر در منطق." - Wiebe van der Hoek، دانشگاه لیورپول


توضیحاتی درمورد کتاب به خارجی

Traditionally, logic has dealt with notions of truth and reasoning. In the past several decades, however, research focus in logic has shifted to the vast field of interactive logic—the domain of logics for both communication and interaction. The main applications of this move are logical approaches to games and social software; the wealth of these applications was the focus of the seventh Augustus de Morgan Workshop in November 2005. This collection of papers from the workshop serves as the initial volume in the new series Texts in Logics and Games—touching on research in logic, mathematics, computer science, and game theory. “A wonderful demonstration of contemporary topics in logic.”—Wiebe van der Hoek, University of Liverpool 



فهرست مطالب

Table of Contents
......Page 6
Preface
......Page 8
Ch. 1: 
A Compositional Game Semantics for Multi-Agent Logics of Partial Information......Page 12
Ch. 2:
Quantificational Modal Operators and Their Semantics......Page 50
Ch. 3: A Note on Kuhn's Theor
em......Page 72
Ch. 4: What Kind of Memory is Needed to Win Infinitary Muller Games?
......Page 90
Ch. 5: Logics of Imperfect Information: Why Sets of Assignments?
......Page 118
Ch. 6: Reasoning about Communication Graphs
......Page 136
Ch. 7: Epistemic Foundations for Backward Induction: An Overview
......Page 160
Ch. 8:
Multitape Games......Page 196
Ch. 9
: The Complexity of Schotland Yard......Page 210
Ch. 10
: Approaches to Independence Friendly Modal Logic......Page 248
Ch. 11: Team Logic
......Page 282
DEMO - A Demo of Epistemic Modelling
......Page 304




نظرات کاربران

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