注冊(cè) | 登錄讀書好,好讀書,讀好書!
讀書網(wǎng)-DuShu.com
當(dāng)前位置: 首頁出版圖書科學(xué)技術(shù)自然科學(xué)數(shù)學(xué)應(yīng)用邏輯中的數(shù)學(xué)問題

應(yīng)用邏輯中的數(shù)學(xué)問題

應(yīng)用邏輯中的數(shù)學(xué)問題

定 價(jià):¥168.00

作 者: [英] D. M. 加貝(Dov M. Gabbay) 著,[英] D.M.加貝 等 編,陳曉華,劉張華 譯
出版社: 科學(xué)出版社
叢編項(xiàng): 應(yīng)用邏輯與邏輯應(yīng)用研究前沿譯叢
標(biāo) 簽: 暫缺

ISBN: 9787030646354 出版時(shí)間: 2020-03-01 包裝: 平裝
開本: 16開 頁數(shù): 438 字?jǐn)?shù):  

內(nèi)容簡介

  《應(yīng)用邏輯中的數(shù)學(xué)問題》圍繞“邏輯學(xué)中重要、突出、緊迫的問題是什么”這一個(gè)主題展開,內(nèi)容分上、下兩篇,共13 章。上篇內(nèi)容涉及描述邏輯中的非標(biāo)準(zhǔn)推理、可證邏輯中的問題與邏輯動(dòng)態(tài)中的開放問題、可計(jì)算性理論、邏輯學(xué)的發(fā)展、邏輯與認(rèn)知科學(xué)、中世紀(jì)的阿拉伯語義、應(yīng)用邏輯與其他學(xué)科發(fā)展之間的關(guān)系等。下篇內(nèi)容涉及可證邏輯與證明邏輯、可計(jì)算性理論的研究動(dòng)機(jī)與發(fā)展方向、可計(jì)算模型、相對(duì)論的一階邏輯基礎(chǔ)、數(shù)理邏輯的未來、區(qū)域空間理論等。

作者簡介

暫缺《應(yīng)用邏輯中的數(shù)學(xué)問題》作者簡介

圖書目錄

目錄
上篇
叢書序
第1章 描述邏輯中的非標(biāo)準(zhǔn)推理:迄今為止的故事 3
1.1 引言 3
1.2 描述邏輯和標(biāo)準(zhǔn)推理 5
1.3 非標(biāo)準(zhǔn)推理——?jiǎng)訖C(jī)和定義 9
1.4 歸類的結(jié)構(gòu)表征 17
1.5 最小公共包含 22
1.6 最具體概念 24
1.7 重寫 29
1.8 匹配 34
1.9 總結(jié)及未來展望 40
參考文獻(xiàn) 41
第2章 可證邏輯中的問題 49
2.1 引言 49
2.2 證明的非形式概念 51
2.3 可證邏輯的基礎(chǔ) 56
2.4 直覺算術(shù)的可證邏輯 58
2.5 可證邏輯和受囿算術(shù) 64
2.6 雙模態(tài)可證邏輯的分類 66
2.7 馬加里代數(shù) 68
2.8 可解釋性邏輯 71
2.9 梯度可證性代數(shù) 74
2.10 問題列表 77
參考文獻(xiàn) 80
第3章 動(dòng)態(tài)邏輯中的開放問題 85
3.1 動(dòng)態(tài)邏輯 85
3.2 標(biāo)準(zhǔn)認(rèn)知邏輯 86
3.3 公開宣告:動(dòng)態(tài)認(rèn)知邏輯 89
3.4 動(dòng)態(tài)認(rèn)知邏輯 97
3.5 標(biāo)準(zhǔn)邏輯的基礎(chǔ) 101
3.6 從信息更新到信念修正 105
3.7 時(shí)態(tài)認(rèn)知邏輯 110
3.8 博弈邏輯和博弈論 113
3.9 結(jié)論 114
參考文獻(xiàn) 114
第4章 可計(jì)算性與涌現(xiàn) 120
4.1 一個(gè)新興的世界 120
4.2 描述、算法和歸納結(jié)構(gòu)的崩塌 121
4.3 本體論和數(shù)學(xué)結(jié)構(gòu) 124
4.4 一切從哪里開始 126
4.5 面向基于算法內(nèi)容的模型 128
4.6 實(shí)在的層級(jí) 131
4.7 算法內(nèi)容的重新審視 135
4.8 將要做什么 136
參考文獻(xiàn) 138
第5章 輪回 142
5.1 引言 142
5.2 關(guān)于過程的例子 143
5.3 我們需要什么樣的邏輯學(xué) 144
5.4 邏輯系統(tǒng)是什么,它們應(yīng)該是什么 156
5.5 證明的本質(zhì) 159
5.6 結(jié)論 163
參考文獻(xiàn) 163
第6章 兩扇即將打開的門 168
6.1 邏輯和認(rèn)知科學(xué) 169
6.2 中世紀(jì)的阿拉伯語義 181
參考文獻(xiàn) 188
第7章 應(yīng)用邏輯宣言 191
7.1 何謂應(yīng)用邏輯 191
7.2 數(shù)學(xué)和邏輯,與數(shù)理邏輯的差別 192
7.3 應(yīng)用哲學(xué)邏輯 196
7.4 計(jì)算機(jī)科學(xué)與應(yīng)用邏輯的關(guān)系 197
7.5 其他案例研究 199
7.6 盡可能的兼收并蓄 204
參考文獻(xiàn) 205
下篇
第1章 論可證明性的兩個(gè)模型 209
1.1 導(dǎo)論 209
1.2 可證邏輯 212
1.3 證明邏輯 222
1.4 致謝 234
參考文獻(xiàn) 234
第2章 超越純粹數(shù)學(xué)理論的可計(jì)算性理論方向 244
2.1 研究動(dòng)機(jī) 244
2.2 方向 246
2.3 進(jìn)展與展望 246
參考文獻(xiàn) 263
第3章 可計(jì)算性與可計(jì)算模型 274
3.1 預(yù)備知識(shí) 274
3.2 可計(jì)算模型的界 295
3.3 可計(jì)算模型的結(jié)構(gòu)復(fù)雜性 305
3.4 同構(gòu)問題 313
3.5 可計(jì)算模型及指標(biāo)集的種類 327
3.6 致謝 339
參考文獻(xiàn) 339
第4章 相對(duì)論的一階邏輯基礎(chǔ) 346
4.1 簡介(邏輯學(xué)和時(shí)空幾何學(xué)) 346
4.2 更多具體的介紹(時(shí)空基礎(chǔ)) 347
4.3 廣義相對(duì)論時(shí)空的奇異的特征(對(duì)邏輯學(xué)家的挑戰(zhàn)) 349
4.4 加速觀察體擴(kuò)展的狹義相對(duì)論的一階邏輯公理系統(tǒng) 351
4.5 向廣義相對(duì)論(GR)前進(jìn)一步(在時(shí)鐘上的引力效果) 358
4.6 未來研究的問題和建議 364
參考文獻(xiàn) 367
第5章 超越混合系統(tǒng) 371
5.1 引言 371
5.2 數(shù)字程序 372
5.3 連續(xù)的植物和控制器 373
5.4 混合系統(tǒng) 373
5.5 離散化 374
5.6 連續(xù)化 374
5.7 方法論 375
參考文獻(xiàn) 377
第6章 區(qū)域空間理論:區(qū)域代數(shù)、表象理論和邏輯 380
6.1 引言 380
6.2 區(qū)域空間理論的歷史回顧 381
6.3 區(qū)域代數(shù)、模型和表述理論 388
6.4 空間上的區(qū)域命題模態(tài)邏輯 407
6.5 致謝 430
參考文獻(xiàn) 430
索引 434

本目錄推薦

掃描二維碼
Copyright ? 讀書網(wǎng) ranfinancial.com 2005-2020, All Rights Reserved.
鄂ICP備15019699號(hào) 鄂公網(wǎng)安備 42010302001612號(hào)