掃一掃
關(guān)注中圖網(wǎng)
官方微博
本類五星書更多>
-
>
全國計算機等級考試最新真考題庫模擬考場及詳解·二級MSOffice高級應(yīng)用
-
>
決戰(zhàn)行測5000題(言語理解與表達(dá))
-
>
軟件性能測試.分析與調(diào)優(yōu)實踐之路
-
>
第一行代碼Android
-
>
JAVA持續(xù)交付
-
>
EXCEL最強教科書(完全版)(全彩印刷)
-
>
深度學(xué)習(xí)
互模擬理論的邏輯研究 版權(quán)信息
- ISBN：9787030486202
- 條形碼：9787030486202 ; 978-7-03-048620-2
- 裝幀：暫無
- 冊數(shù)：暫無
- 重量：暫無
- 所屬分類：>
互模擬理論的邏輯研究 內(nèi)容簡介
《互模擬理論的邏輯研究》從邏輯的角度研究互模擬，主要以模型論、集合論和模態(tài)邏輯的知識為背景，意在從歷史層面揭示互模擬在模態(tài)邏輯和非良基集合論中的發(fā)展過程，從理論層面探討互模擬的基本理論和作用。《互模擬理論的邏輯研究》的內(nèi)容主要包括互模擬的發(fā)展歷程、互模擬的基本理論和性質(zhì)、互模擬與模態(tài)等價之間的關(guān)系、基于互模擬的模態(tài)模型構(gòu)造技術(shù)、基于互模擬的非良基集合的分類和方程組的解引理、基于互模擬的模態(tài)邏輯與非良基集合論之間的內(nèi)在聯(lián)系、“雙模擬”的概念和性質(zhì)。 《互模擬理論的邏輯研究》可供數(shù)學(xué)、邏輯學(xué)和計算機專業(yè)的研究生閱讀.也可供那些對集合論和模型論感興趣的讀者閱讀、參考。
書友推薦
- >
龍榆生：詞曲概論/大家小書
- >
羅曼·羅蘭讀書隨筆-精裝
- >
名家?guī)阕x魯迅:故事新編
- >
【精裝繪本】畫給孩子的中國神話
- >
回憶愛瑪儂
- >
姑媽的寶刀
- >
名家?guī)阕x魯迅:朝花夕拾
- >
羅庸西南聯(lián)大授課錄
本類暢銷
