Finite Model Theory (Springer Monographs in Mathematics) pdf epub mobi txt 電子書 下載2025
- 數理邏輯
- 邏輯學
- 語言學
- 數學
- nemlophics
- MathLogic
- Math
- Finite Model Theory
- Springer Monographs in Mathematics
- Logic
- Computer Science
- Mathematics
- Theoretical Computer Science
- Formal Languages
- Model Theory
- Discrete Mathematics
- Algorithms
具體描述
This is a thoroughly revised and enlarged second edition that presents the main results of descriptive complexity theory, that is, the connections between axiomatizability of classes of finite structures and their complexity with respect to time and space bounds. The logics that are important in this context include fixed-point logics, transitive closure logics, and also certain infinitary languages; their model theory is studied in full detail. The book is written in such a way that the respective parts on model theory and descriptive complexity theory may be read independently.
著者簡介
圖書目錄
讀後感
評分
評分
評分
評分
用戶評價
有窮模型論和描述復雜性理論最好的一本書瞭
评分有窮模型論和描述復雜性理論最好的一本書瞭
评分有窮模型論和描述復雜性理論最好的一本書瞭
评分有窮模型論和描述復雜性理論最好的一本書瞭
评分有窮模型論和描述復雜性理論最好的一本書瞭
相關圖書
本站所有內容均為互聯網搜索引擎提供的公開搜索信息，本站不存儲任何數據與內容，任何內容與數據均與本站無關，如有需要請聯繫相關搜索引擎包括但不限於百度，google,bing,sogou 等
© 2025 book.quotespace.org All Rights Reserved. 小美書屋 版权所有