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

Name: Interactive Logic: Selected Papers from the 7th Augustus de Morgan Workshop, London
Availability: InStock
Author: Johan van Benthem
ISBN: 9053563563, 9789053563564, 9789048501120

by Johan van Benthem, Benedikt Lowe, Dov M. Gabbay

عنوان فارسی: منطق تعاملی: مقالات انتخاب شده از 7 آگوستوس مورگان کارگاه، لندن
ناشر: Amsterdam University Press
سال: 2008
زبان: انگلیسی
تعداد صفحه (نسخه چاپی - نسخه الکترونیکی): 363-363
شابک: 9053563563, 9789053563564, 9789048501120
نوع فایل: PDF دانلود نرم افزار مطالعه
حجم: 3.00 مگابایت

گزارش تخلف

دانلود کتاب

افزودن خلاصه فارسی

جزییات کتاب

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