网站首页  软件下载  游戏下载  翻译软件  电子书下载  电影下载  电视剧下载  教程攻略

请输入您要查询的图书:

 

书名 逻辑信息和互动(精)/逻辑之门约翰·范本特姆经典著作
分类 人文社科-哲学宗教-逻辑学
作者 (荷)约翰·范本特姆
出版社 科学出版社
下载
简介
编辑推荐

《逻辑、信息和互动》是关于当今模态逻辑所研究的主要问题的一个论文集。它展示了模态逻辑的发展历程,系统地阐述了模态逻辑的数学理论。特别是,模态逻辑在研究主体的知识和信念、信息流、计算,以及主体在博弈或其他社会活动中的交流互动等方面的应用。本书既有关于逻辑数学基础的探索,又有对逻辑应用领域的拓展。适合从事逻辑学研究的学生和教师阅读,也适合从事其他逻辑相关学科专业的学生和教师参阅。

内容推荐

“逻辑之门”是当代世界著名的逻辑学家约翰·范本特姆经典著作的中文翻译。丛书收集了他的经典论文和主要专著,其涵盖的主题有:关于信息、进程和智能互动的模态逻辑;自然语言中范畴语法和量词语义的逻辑;逻辑与认识论、科学方法论和博弈论之间的相互影响,等等。丛书展现了现代逻辑作为数学,哲学、语言学、计算机科学、认知科学等学科之间媒介和催化剂的新视角。

《逻辑、信息和互动》是关于当今模态逻辑所研究的主要问题的一个论文集。它展示了模态逻辑的发展历程,系统地阐述了模态逻辑的数学理论。特别是,模态逻辑在研究主体的知识和信念、信息流、计算,以及主体在博弈或其他社会活动中的交流互动等方面的应用。本书既有关于逻辑数学基础的探索,又有对逻辑应用领域的拓展。适合从事逻辑学研究的学生和教师阅读,也适合从事其他逻辑相关学科专业的学生和教师参阅。

目录

丛书序

译者序

前言

第1部分 模态逻辑基本理论

 1 对应理论

 2 两个格式塔中的模态逻辑

 3 安保、界限和广义语义学

第2部分 模态逻辑和计算

 4 动态箭号逻辑笔记

 5 谓词逻辑的模态基础

 6 使互模拟安全的程序构造

第3部分 模态逻辑和信息

 7 “人的存在并非是孤立的”:逻辑与交流

 8 信念修正的动态逻辑

 9 偏好升级的动态逻辑

第4部分 模态逻辑和博弈

 10 动态认知逻辑中的博弈

 11 作为进程模型的扩展博弈

 12 逻辑博弈对博弈逻辑是完全的

 13 博弈中的理性动态和认知逻辑

附录

 附录一 英·汉专业术语对照表

 附录二 英·汉人名对照表

致谢

随便看

 

霍普软件下载网电子书栏目提供海量电子书在线免费阅读及下载。

 

Copyright © 2002-2024 101bt.net All Rights Reserved
更新时间:2025/4/9 6:34:29