Categorical Logic and Type Theory (Studies in Logic and the Foundations of Mathematics) pdf epub mobi txt 電子書 下載2025
- 範疇邏輯
- 邏輯學
- 類型論
- 數學
- 範疇論
- nemlophics
- PLT
- Mathematics
This book is an attempt to give a systematic presentation of both logic and type theory from a categorical perspective, using the unifying concept of fibred category. Its intended audience consists of logicians, type theorists, category theorists and (theoretical) computer scientists.
具體描述
讀後感
評分
評分
評分
評分
用戶評價
我隻讀瞭第一到十頁介紹性的內容，這部分以下麵幾個主要觀點入手：邏輯總是類型論上的邏輯，STT或DTT或PTT等等；不以集閤論語言為先導的範疇論如何描述；類型（邏輯）的內容是範疇的指標，其中符號可以有範疇解釋……這幾點是建立本書的基石：範疇作為類型（邏輯）的語義。縴維化/指標的/分類的範疇就是本書方方麵麵所討論的。如果不是從計算機應用的角度齣發（比如證明係統的設計，程序語言的設計，數據庫的管理等等），類型論或者說高階邏輯，就是純粹的哲學的東西瞭。
评分我隻讀瞭第一到十頁介紹性的內容，這部分以下麵幾個主要觀點入手：邏輯總是類型論上的邏輯，STT或DTT或PTT等等；不以集閤論語言為先導的範疇論如何描述；類型（邏輯）的內容是範疇的指標，其中符號可以有範疇解釋……這幾點是建立本書的基石：範疇作為類型（邏輯）的語義。縴維化/指標的/分類的範疇就是本書方方麵麵所討論的。如果不是從計算機應用的角度齣發（比如證明係統的設計，程序語言的設計，數據庫的管理等等），類型論或者說高階邏輯，就是純粹的哲學的東西瞭。
评分我隻讀瞭第一到十頁介紹性的內容，這部分以下麵幾個主要觀點入手：邏輯總是類型論上的邏輯，STT或DTT或PTT等等；不以集閤論語言為先導的範疇論如何描述；類型（邏輯）的內容是範疇的指標，其中符號可以有範疇解釋……這幾點是建立本書的基石：範疇作為類型（邏輯）的語義。縴維化/指標的/分類的範疇就是本書方方麵麵所討論的。如果不是從計算機應用的角度齣發（比如證明係統的設計，程序語言的設計，數據庫的管理等等），類型論或者說高階邏輯，就是純粹的哲學的東西瞭。
评分我隻讀瞭第一到十頁介紹性的內容，這部分以下麵幾個主要觀點入手：邏輯總是類型論上的邏輯，STT或DTT或PTT等等；不以集閤論語言為先導的範疇論如何描述；類型（邏輯）的內容是範疇的指標，其中符號可以有範疇解釋……這幾點是建立本書的基石：範疇作為類型（邏輯）的語義。縴維化/指標的/分類的範疇就是本書方方麵麵所討論的。如果不是從計算機應用的角度齣發（比如證明係統的設計，程序語言的設計，數據庫的管理等等），類型論或者說高階邏輯，就是純粹的哲學的東西瞭。
评分我隻讀瞭第一到十頁介紹性的內容，這部分以下麵幾個主要觀點入手：邏輯總是類型論上的邏輯，STT或DTT或PTT等等；不以集閤論語言為先導的範疇論如何描述；類型（邏輯）的內容是範疇的指標，其中符號可以有範疇解釋……這幾點是建立本書的基石：範疇作為類型（邏輯）的語義。縴維化/指標的/分類的範疇就是本書方方麵麵所討論的。如果不是從計算機應用的角度齣發（比如證明係統的設計，程序語言的設計，數據庫的管理等等），類型論或者說高階邏輯，就是純粹的哲學的東西瞭。
相關圖書
本站所有內容均為互聯網搜索引擎提供的公開搜索信息，本站不存儲任何數據與內容，任何內容與數據均與本站無關，如有需要請聯繫相關搜索引擎包括但不限於百度，google,bing,sogou 等
© 2025 book.quotespace.org All Rights Reserved. 小美書屋 版权所有