滿額折
邏輯、信息和互動：卷I（簡體書）
商品資訊
系列名：邏輯之門約翰‧范本特姆經典著作
ISBN13：9787030205254
出版社：科學出版社
作者：(荷)約翰·範本特姆
出版日：2008/06/01
裝訂／頁數：平裝／403頁
規格：24cm*17cm*2.8cm (高/寬/厚)
版次：1
商品簡介
作者簡介
目次
相關商品
商品簡介
“邏輯之門”是當代世界著名的邏輯學家約翰，范本特姆經典著作的中文翻譯。叢書收集了他的經典論文和主要專著，其涵蓋的主題有：關于信息、進程和智能互動的模態邏輯，自然語言中范疇語法和量詞語義的邏輯：邏輯與認識論、科學方法論和博弈論之間的相互影響，等等。叢書展現了現代邏輯作為數學、哲學、語言學、計算機科學、認知科學等學科之間媒介和催化劑的新視角。
《邏輯、信息和互動》是關于當今模態邏輯所研究的主要問題的一個論文集。它展示了模態邏輯的發展歷程，系統地闡述了模態邏輯的數學理論。特別是，模態邏輯在研究主體的知識和信念、信息流、計算，以及主體在博弈或其他社會活動中的交流互動等方面的應用。本書既有關于邏輯數學基礎的探索，又有對邏輯應用領域的拓展，適合從事邏輯學研究的學生和教師閱讀。也適合從事其他邏輯相關學科專業的學生和教師參閱。
《邏輯、信息和互動》是關于當今模態邏輯所研究的主要問題的一個論文集。它展示了模態邏輯的發展歷程，系統地闡述了模態邏輯的數學理論。特別是，模態邏輯在研究主體的知識和信念、信息流、計算，以及主體在博弈或其他社會活動中的交流互動等方面的應用。本書既有關于邏輯數學基礎的探索，又有對邏輯應用領域的拓展，適合從事邏輯學研究的學生和教師閱讀。也適合從事其他邏輯相關學科專業的學生和教師參閱。
作者簡介
約翰·范本特姆，當代世界著名邏輯學家，阿姆斯特丹大學的大學教授、斯坦福大學哲學教授，兼任中山大學客座教授。荷蘭皇家藝術與科學院、歐洲科學院和國際哲學院院士，多個雜志編輯。撰寫了約300篇論文和6部專著，主編了4部具有權威性的邏輯手冊。由于他的卓越成就，荷蘭政府于1996年授予他斯賓諾莎獎。
目次
叢書序
譯者序
前言
第1部分 模態邏輯基本理論
1 對應理論
2 兩個格式塔中的模態邏輯
3 安保、界限和廣義語義學
第2部分 模態邏輯和計算
4 動態箭號邏輯筆記
5 謂詞邏輯的模態基礎
6 使互模擬安全的程序構造
第3部分 模態邏輯和信息
7 “人的存在并非是孤立的”：邏輯與交流
8 信念修正的動態邏輯
9 偏好升級的動態邏輯
第4部分 模態邏輯和博弈
10 動態認知邏輯中的博弈
11 作為進程模型的擴展博弈
12 邏輯博弈對博弈邏輯是完全的
13 博弈中的理性動態和認知邏輯
附錄
附錄一 英-漢專業術語對照表
附錄二 英-漢人名對照表
致謝
譯者序
前言
第1部分 模態邏輯基本理論
1 對應理論
2 兩個格式塔中的模態邏輯
3 安保、界限和廣義語義學
第2部分 模態邏輯和計算
4 動態箭號邏輯筆記
5 謂詞邏輯的模態基礎
6 使互模擬安全的程序構造
第3部分 模態邏輯和信息
7 “人的存在并非是孤立的”：邏輯與交流
8 信念修正的動態邏輯
9 偏好升級的動態邏輯
第4部分 模態邏輯和博弈
10 動態認知邏輯中的博弈
11 作為進程模型的擴展博弈
12 邏輯博弈對博弈邏輯是完全的
13 博弈中的理性動態和認知邏輯
附錄
附錄一 英-漢專業術語對照表
附錄二 英-漢人名對照表
致謝
今日66折
您曾經瀏覽過的商品
購物須知
大陸出版品因裝訂品質及貨運條件與台灣出版品落差甚大，除封面破損、內頁脫落等較嚴重的狀態，其餘商品將正常出貨。
特別提醒：部分書籍附贈之內容(如音頻mp3或影片dvd等)已無實體光碟提供，需以QR CODE 連結至當地網站註冊“並通過驗證程序”，方可下載使用。
無現貨庫存之簡體書，將向海外調貨：
海外有庫存之書籍，等候約45個工作天;
海外無庫存之書籍，平均作業時間約60個工作天，然不保證確定可調到貨，尚請見諒。
為了保護您的權益，「三民網路書店」提供會員七日商品鑑賞期(收到商品為起始日)。
若要辦理退貨，請在商品鑑賞期內寄回，且商品必須是全新狀態與完整包裝(商品、附件、發票、隨貨贈品等)否則恕不接受退貨。