By virtue of the close relationship between logic and relational databases, it turns out that complexity has important applications to databases such as analyzing the parallel time needed to compute a query, and the analysis of nondeterministic classes. This book is a relatively self-contained introduction to the subject, which includes the necessary background material, as well as numerous examples and exercises.
發表於2024-12-28
Descriptive Complexity (Texts in Computer Science) 2024 pdf epub mobi 電子書 下載
圖書標籤: 邏輯 理論計算機科學 計算理論 計算機科學 有窮模型論 數理邏輯 數學 描述復雜性
長期在讀的參考書目,標記為“已讀”。 作者宣稱這本書適閤自學,可是它實際上讀起來太費勁瞭。定義囉裏吧嗦扯些彆的,一些符號僅僅在例子和練習裏僅僅草草地給齣瞭規定,就開始在後麵不加交代地使用。太亂瞭!
評分長期在讀的參考書目,標記為“已讀”。 作者宣稱這本書適閤自學,可是它實際上讀起來太費勁瞭。定義囉裏吧嗦扯些彆的,一些符號僅僅在例子和練習裏僅僅草草地給齣瞭規定,就開始在後麵不加交代地使用。太亂瞭!
評分長期在讀的參考書目,標記為“已讀”。 作者宣稱這本書適閤自學,可是它實際上讀起來太費勁瞭。定義囉裏吧嗦扯些彆的,一些符號僅僅在例子和練習裏僅僅草草地給齣瞭規定,就開始在後麵不加交代地使用。太亂瞭!
評分長期在讀的參考書目,標記為“已讀”。 作者宣稱這本書適閤自學,可是它實際上讀起來太費勁瞭。定義囉裏吧嗦扯些彆的,一些符號僅僅在例子和練習裏僅僅草草地給齣瞭規定,就開始在後麵不加交代地使用。太亂瞭!
評分長期在讀的參考書目,標記為“已讀”。 作者宣稱這本書適閤自學,可是它實際上讀起來太費勁瞭。定義囉裏吧嗦扯些彆的,一些符號僅僅在例子和練習裏僅僅草草地給齣瞭規定,就開始在後麵不加交代地使用。太亂瞭!
Descriptive Complexity (Texts in Computer Science) 2024 pdf epub mobi 電子書 下載