Homotopy Type Theory 在線電子書 pdf 下載 txt下載 epub 下載 mobi 下載 2024


Homotopy Type Theory

簡體網頁||繁體網頁
Univalent Foundations Program 作者
譯者
2014-6-3 出版日期
609 頁數
0 價格
Paperback
叢書系列
9787704251709 圖書編碼

Homotopy Type Theory 在線電子書 圖書標籤: 數學  Math  計算機  同倫類型論  範疇論  pl  TypeTheory  Mathematics   


喜歡 Homotopy Type Theory 在線電子書 的讀者還喜歡




點擊這裡下載
    


想要找書就要到 圖書目錄大全
立刻按 ctrl+D收藏本頁
你會得到大驚喜!!

發表於2024-11-12

Homotopy Type Theory 在線電子書 epub 下載 mobi 下載 pdf 下載 txt 下載 2024

Homotopy Type Theory 在線電子書 epub 下載 pdf 下載 mobi 下載 txt 下載 2024

Homotopy Type Theory 在線電子書 pdf 下載 txt下載 epub 下載 mobi 下載 2024



Homotopy Type Theory 在線電子書 用戶評價

評分

過時瞭的

評分

風逝。不看因為不知道有什麼用。

評分

一年內各路作者齊貢獻 各章不太統一 但繞不開啊【believe it or not there is a textbook about hott...【最後幾章讀不動瞭姑且就標個讀過吧。。。

評分

風逝。不看因為不知道有什麼用。

評分

風逝。不看因為不知道有什麼用。

Homotopy Type Theory 在線電子書 著者簡介


Homotopy Type Theory 在線電子書 著者簡介


Homotopy Type Theory 在線電子書 pdf 下載 txt下載 epub 下載 mobi 在線電子書下載

Homotopy Type Theory 在線電子書 圖書描述

Homotopy type theory is a new branch of mathematics that combines aspects of several different fields in a surprising way. It is based on a recently discovered connection between homotopy theory and type theory. It touches on topics as seemingly distant as the homotopy groups of spheres, the algorithms for type checking, and the definition of weak ∞-groupoids. Homotopy type theory offers a new “univalent” foundation of mathematics, in which a central role is played by Voevodsky’s univalence axiom and higher inductive types. The present book is intended as a first systematic exposition of the basics of univalent foundations, and a collection of examples of this new style of reasoning — but without requiring the reader to know or learn any formal logic, or to use any computer proof assistant. We believe that univalent foundations will eventually become a viable alternative to set theory as the “implicit foundation” for the unformalized mathematics done by most mathematicians.

Homotopy Type Theory 在線電子書 下載 mobi epub pdf txt 在線電子書下載


想要找書就要到 圖書目錄大全
立刻按 ctrl+D收藏本頁
你會得到大驚喜!!

Homotopy Type Theory 在線電子書 讀後感

評分

Will Computers Redefine the Roots of Math? A Story from Quanta Magazine

評分

Will Computers Redefine the Roots of Math? A Story from Quanta Magazine

評分

Will Computers Redefine the Roots of Math? A Story from Quanta Magazine

評分

Will Computers Redefine the Roots of Math? A Story from Quanta Magazine

評分

Will Computers Redefine the Roots of Math? A Story from Quanta Magazine

類似圖書 點擊查看全場最低價

Homotopy Type Theory 在線電子書 pdf 下載 txt下載 epub 下載 mobi 下載 2024


分享鏈接





Homotopy Type Theory 在線電子書 相關圖書




本站所有內容均為互聯網搜索引擎提供的公開搜索信息,本站不存儲任何數據與內容,任何內容與數據均與本站無關,如有需要請聯繫相關搜索引擎包括但不限於百度google,bing,sogou

友情鏈接

© 2024 book.wenda123.org All Rights Reserved. 圖書目錄大全 版權所有