Mathematical Problems from Applied Logic pdf epub mobi txt 電子書 下載2025
出版者:Springer Verlag
作者:Gabbay, Dov M. (EDT)/ Goncharov, Sergei S. (EDT)/ Zakharyaschev, Michael (EDT)
出品人:
頁數:384
译者:
出版時間:2007-3
價格:$ 258.77
裝幀:HRD
isbn號碼:9780387692449
叢書系列:
圖書標籤:
- 數學邏輯
- 應用邏輯
- 數學問題
- 邏輯難題
- 集閤論
- 數理邏輯
- 模型論
- 證明論
- 遞歸論
- 邏輯哲學
下載連結在頁面底部
具體描述
This book presents contributions from world-renowned logicians, discussing important topics of logic from the point of view of their further development in light of requirements arising from successful application in Computer Science and AI language. Coverage includes: the logic of provability, computability theory applied to biology, psychology, physics, chemistry, economics, and other basic sciences; computability theory and computable models; logic and space-time geometry; hybrid systems; logic and region-based theory of space.
著者簡介
圖書目錄
讀後感
評分
評分
評分
評分
評分
用戶評價
评分
评分
评分
评分
评分
相關圖書
本站所有內容均為互聯網搜索引擎提供的公開搜索信息，本站不存儲任何數據與內容，任何內容與數據均與本站無關，如有需要請聯繫相關搜索引擎包括但不限於百度，google,bing,sogou 等
© 2025 book.quotespace.org All Rights Reserved. 小美書屋 版权所有