Independence-Friendly Logic 2024 pdf epub mobi 电子书

☆☆☆☆☆
简体网页||繁体网页

Independence-Friendly Logic 2024 pdf epub mobi 电子书著者简介

Independence-Friendly Logic 电子书图书目录

下载链接在页面底部

点击这里下载

facebook linkedin mastodon messenger pinterest reddit telegram twitter viber vkontakte whatsapp 复制链接

想要找书就要到本本书屋

onlinetoolsland.com

立刻按 ctrl+D收藏本页

你会得到大惊喜!!

发表于2024-11-14

Independence-Friendly Logic 2024 pdf epub mobi 电子书

喜欢 Independence-Friendly Logic 电子书的读者还喜欢

Independence-Friendly Logic 电子书读后感

评分☆☆☆☆☆

类似图书点击查看全场最低价

出版者:

作者:Allen L. Mann

出品人:

页数:216

译者:

出版时间:2011-5

价格:$ 82.49

装帧:

isbn号码:9780521149341

丛书系列:London Mathematical Society Lecture Note Series

图书标签: 计算机科学数学 Spy Cambridge CUP 2011

Independence-Friendly Logic 2024 pdf epub mobi 电子书图书描述

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.

Independence-Friendly Logic 2024 pdf epub mobi 电子书

想要找书就要到本本书屋

onlinetoolsland.com

立刻按 ctrl+D收藏本页

你会得到大惊喜!!