☆☆☆☆☆
简体网页||繁体网页

Categorical Logic and Type Theory (Studies in Logic and the Foundations of Mathematics) 2024 pdf epub mobi 电子书 著者简介

---

Categorical Logic and Type Theory (Studies in Logic and the Foundations of Mathematics) 电子书 图书目录

---

点击这里下载

---

---

---

发表于2024-05-17

Categorical Logic and Type Theory (Studies in Logic and the Foundations of Mathematics) 2024 pdf epub mobi 电子书

Categorical Logic and Type Theory (Studies in Logic and the Foundations of Mathematics) 2024 pdf epub mobi 电子书

Categorical Logic and Type Theory (Studies in Logic and the Foundations of Mathematics) 2024 pdf epub mobi 电子书

---

喜欢 Categorical Logic and Type Theory (Studies in Logic and the Foundations of Mathematics) 电子书 的读者还喜欢

• 
  Introduction to Higher-Order Categorical Logic 2024 pdf epub mobi 电子书

评分☆☆☆☆☆

评分☆☆☆☆☆

评分☆☆☆☆☆

评分☆☆☆☆☆

评分☆☆☆☆☆

类似图书 点击查看全场最低价

出版者:Elsevier Science

作者:B. Jacobs

出品人:

页数:780

译者:

出版时间:2001-05-10

价格:GBP 71.99

装帧:Hardcover

isbn号码:9780444508539

丛书系列:

Categorical Logic and Type Theory (Studies in Logic and the Foundations of Mathematics) 2024 pdf epub mobi 电子书

评分☆☆☆☆☆

我只读了第一到十页介绍性的内容，这部分以下面几个主要观点入手：逻辑总是类型论上的逻辑，STT或DTT或PTT等等；不以集合论语言为先导的范畴论如何描述；类型（逻辑）的内容是范畴的指标，其中符号可以有范畴解释……这几点是建立本书的基石：范畴作为类型（逻辑）的语义。纤维化/指标的/分类的范畴就是本书方方面面所讨论的。如果不是从计算机应用的角度出发（比如证明系统的设计，程序语言的设计，数据库的管理等等），类型论或者说高阶逻辑，就是纯粹的哲学的东西了。

评分☆☆☆☆☆

我只读了第一到十页介绍性的内容，这部分以下面几个主要观点入手：逻辑总是类型论上的逻辑，STT或DTT或PTT等等；不以集合论语言为先导的范畴论如何描述；类型（逻辑）的内容是范畴的指标，其中符号可以有范畴解释……这几点是建立本书的基石：范畴作为类型（逻辑）的语义。纤维化/指标的/分类的范畴就是本书方方面面所讨论的。如果不是从计算机应用的角度出发（比如证明系统的设计，程序语言的设计，数据库的管理等等），类型论或者说高阶逻辑，就是纯粹的哲学的东西了。

评分☆☆☆☆☆

我只读了第一到十页介绍性的内容，这部分以下面几个主要观点入手：逻辑总是类型论上的逻辑，STT或DTT或PTT等等；不以集合论语言为先导的范畴论如何描述；类型（逻辑）的内容是范畴的指标，其中符号可以有范畴解释……这几点是建立本书的基石：范畴作为类型（逻辑）的语义。纤维化/指标的/分类的范畴就是本书方方面面所讨论的。如果不是从计算机应用的角度出发（比如证明系统的设计，程序语言的设计，数据库的管理等等），类型论或者说高阶逻辑，就是纯粹的哲学的东西了。

评分☆☆☆☆☆

我只读了第一到十页介绍性的内容，这部分以下面几个主要观点入手：逻辑总是类型论上的逻辑，STT或DTT或PTT等等；不以集合论语言为先导的范畴论如何描述；类型（逻辑）的内容是范畴的指标，其中符号可以有范畴解释……这几点是建立本书的基石：范畴作为类型（逻辑）的语义。纤维化/指标的/分类的范畴就是本书方方面面所讨论的。如果不是从计算机应用的角度出发（比如证明系统的设计，程序语言的设计，数据库的管理等等），类型论或者说高阶逻辑，就是纯粹的哲学的东西了。

评分☆☆☆☆☆

我只读了第一到十页介绍性的内容，这部分以下面几个主要观点入手：逻辑总是类型论上的逻辑，STT或DTT或PTT等等；不以集合论语言为先导的范畴论如何描述；类型（逻辑）的内容是范畴的指标，其中符号可以有范畴解释……这几点是建立本书的基石：范畴作为类型（逻辑）的语义。纤维化/指标的/分类的范畴就是本书方方面面所讨论的。如果不是从计算机应用的角度出发（比如证明系统的设计，程序语言的设计，数据库的管理等等），类型论或者说高阶逻辑，就是纯粹的哲学的东西了。

查看全网最低价