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

☆☆☆☆☆
簡體網頁||繁體網頁

Univalent Foundations Program 作者

譯者

2014-6-3 出版日期

609 頁數

0 價格

Paperback

叢書系列

9787704251709 圖書編碼

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

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

下載鏈接在頁面底部

點擊這裡下載

facebook linkedin mastodon messenger pinterest reddit telegram twitter viber vkontakte whatsapp 複製鏈接

想要找書就要到圖書目錄大全

book.wenda123.org

立刻按 ctrl+D收藏本頁

你會得到大驚喜!!

發表於2024-11-26

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...【最後幾章讀不動瞭姑且就標個讀過吧。。。

評分☆☆☆☆☆

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

評分☆☆☆☆☆

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

評分☆☆☆☆☆

過時瞭的

評分☆☆☆☆☆

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

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 在線電子書下載

想要找書就要到圖書目錄大全

book.wenda123.org

立刻按 ctrl+D收藏本頁

你會得到大驚喜!!