Independence-Friendly Logic

Independence-Friendly Logic pdf epub mobi txt 电子书 下载 2025

出版者:
作者:Allen L. Mann
出品人:
页数:216
译者:
出版时间:2011-5
价格:$ 82.49
装帧:
isbn号码:9780521149341
丛书系列:London Mathematical Society Lecture Note Series
图书标签:
  • 计算机科学 
  • 数学 
  • Spy 
  • Cambridge 
  • CUP 
  • 2011 
  •  
想要找书就要到 图书目录大全
立刻按 ctrl+D收藏本页
你会得到大惊喜!!

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.

具体描述

读后感

评分

评分

评分

评分

评分

用户评价

评分

评分

评分

评分

评分

相关图书

本站所有内容均为互联网搜索引擎提供的公开搜索信息,本站不存储任何数据与内容,任何内容与数据均与本站无关,如有需要请联系相关搜索引擎包括但不限于百度google,bing,sogou

© 2025 book.wenda123.org All Rights Reserved. 图书目录大全 版权所有