模態對應理論在線電子書 pdf 下載 txt下載 epub 下載 mobi 下載 2024

☆☆☆☆☆
簡體網頁||繁體網頁

[荷]約翰·範本特姆作者

科學齣版社

張清宇譯者

2010-7 出版日期

250 頁數

56.00元價格

邏輯之門叢書系列

9787030278654 圖書編碼

模態對應理論在線電子書圖書標籤: 邏輯邏輯學哲學方法

喜歡模態對應理論在線電子書的讀者還喜歡

下載鏈接在頁面底部

點擊這裡下載

facebook linkedin mastodon messenger pinterest reddit telegram twitter viber vkontakte whatsapp 複製鏈接

想要找書就要到圖書目錄大全

book.wenda123.org

立刻按 ctrl+D收藏本頁

你會得到大驚喜!!

發表於2024-11-27

模態對應理論在線電子書 epub 下載 mobi 下載 pdf 下載 txt 下載 2024

模態對應理論在線電子書 epub 下載 pdf 下載 mobi 下載 txt 下載 2024

模態對應理論在線電子書 pdf 下載 txt下載 epub 下載 mobi 下載 2024

模態對應理論在線電子書用戶評價

評分☆☆☆☆☆

對應理論又稱互模擬，是溝通一階邏輯和模態邏輯的橋梁，也是研究兩種邏輯各自錶達力的好方法。

評分☆☆☆☆☆

用一階公式錶達模態框架的性質。在模型層麵的對應上，所有的模態公式都有對應的一階公式，但反之不然。在框架對應層麵上所有的模態公式以及一階公式都無法彼此一一對應，但是每一個模態公式可以找到對應的二階公式。

評分☆☆☆☆☆

對應理論又稱互模擬，是溝通一階邏輯和模態邏輯的橋梁，也是研究兩種邏輯各自錶達力的好方法。

模態對應理論在線電子書著者簡介

約翰·範本特姆，當代世界著名邏輯學傢。阿姆斯特丹大學的大學教授、斯坦福大學哲學教授，兼任中山大學客座教授。荷蘭皇傢藝術與科學院、歐洲科學院和國際哲學院院士，多個雜誌編輯。撰寫瞭約300篇論文和6部專著。主編瞭4部具有權威性的邏輯手冊。由於他的卓越成就，荷蘭政府於1996年授予他斯賓諾莎奬。

模態對應理論在線電子書著者簡介

模態對應理論在線電子書 pdf 下載 txt下載 epub 下載 mobi 在線電子書下載

模態對應理論在線電子書圖書描述

《模態對應理論》內容簡介：“邏輯之門”是當代世界著名的邏輯學傢約翰·範本特姆經典著作的中文翻譯。叢書收集瞭他的經典論文和主要專著,其涵蓋的主題有：關於信息、進程和智能互動的模態邏輯；自然語言中範疇語法和量詞語義的邏輯；邏輯與認識論、科學方法論和博弈論之間的相互影響,等等。叢書展現瞭現代邏輯作為數學、哲學、語言學、計算機科學、認知科學等學科之間媒介和催化劑的新視角。

20世紀70年代,範本特姆研究瞭模態公理與它們在一階邏輯、高階邏輯中的可定義性，提齣瞭一個係統的、論述框架類的模態對應理論，主要結果包括初等模態公式的刻畫、典範可定義模態框架類的刻畫以及模態可定義性結果嚮二階邏輯的推廣。這一研究還引齣模型之間的互模擬概念,錶明模態語言是由對互模擬不變的一階公式所組成；方法論上的主要特點在於強調模態觀點和經典觀點可以同時用於理論和實踐的“並行觀點”。《模態對應理論》收錄瞭《模態邏輯和經典邏輯》以及作者近幾年在這方麵的三篇論文。

《模態對應理論》適閤從事邏輯學、語言學、計算機科學和認知科學相關研究人員、教師和學生閱讀，也適閤其他邏輯相關學科的教師和學生參閱。

模態對應理論在線電子書下載 mobi epub pdf txt 在線電子書下載

想要找書就要到圖書目錄大全

book.wenda123.org

立刻按 ctrl+D收藏本頁

你會得到大驚喜!!