Categorical Logic and Type Theory (Studies in Logic and the Foundations of Mathematics)

Categorical Logic and Type Theory (Studies in Logic and the Foundations of Mathematics) pdf epub mobi txt 电子书 下载 2025

出版者:Elsevier Science
作者:B. Jacobs
出品人:
页数:780
译者:
出版时间:2001-05-10
价格:GBP 71.99
装帧:Hardcover
isbn号码:9780444508539
丛书系列:
图书标签:
  • 范畴逻辑 
  • 逻辑学 
  • 类型论 
  • 数学 
  • 范畴论 
  • nemlophics 
  • PLT 
  • Mathematics 
  •  
想要找书就要到 图书目录大全
立刻按 ctrl+D收藏本页
你会得到大惊喜!!

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. 图书目录大全 版权所有