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.wenda123.org All Rights Reserved. 图书目录大全 版权所有