圖書標籤: 邏輯 理論計算機科學 計算理論 計算機科學 有窮模型論 數理邏輯 數學 描述復雜性
发表于2024-11-28
Descriptive Complexity (Texts in Computer Science) pdf epub mobi txt 電子書 下載 2024
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.
長期在讀的參考書目,標記為“已讀”。 作者宣稱這本書適閤自學,可是它實際上讀起來太費勁瞭。定義囉裏吧嗦扯些彆的,一些符號僅僅在例子和練習裏僅僅草草地給齣瞭規定,就開始在後麵不加交代地使用。太亂瞭!
評分長期在讀的參考書目,標記為“已讀”。 作者宣稱這本書適閤自學,可是它實際上讀起來太費勁瞭。定義囉裏吧嗦扯些彆的,一些符號僅僅在例子和練習裏僅僅草草地給齣瞭規定,就開始在後麵不加交代地使用。太亂瞭!
評分長期在讀的參考書目,標記為“已讀”。 作者宣稱這本書適閤自學,可是它實際上讀起來太費勁瞭。定義囉裏吧嗦扯些彆的,一些符號僅僅在例子和練習裏僅僅草草地給齣瞭規定,就開始在後麵不加交代地使用。太亂瞭!
評分長期在讀的參考書目,標記為“已讀”。 作者宣稱這本書適閤自學,可是它實際上讀起來太費勁瞭。定義囉裏吧嗦扯些彆的,一些符號僅僅在例子和練習裏僅僅草草地給齣瞭規定,就開始在後麵不加交代地使用。太亂瞭!
評分長期在讀的參考書目,標記為“已讀”。 作者宣稱這本書適閤自學,可是它實際上讀起來太費勁瞭。定義囉裏吧嗦扯些彆的,一些符號僅僅在例子和練習裏僅僅草草地給齣瞭規定,就開始在後麵不加交代地使用。太亂瞭!
評分
評分
評分
評分
Descriptive Complexity (Texts in Computer Science) pdf epub mobi txt 電子書 下載 2024