本本书屋

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

Homotopy Type Theory

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

Homotopy Type Theory pdf epub mobi 著者簡介

Homotopy Type Theory pdf epub mobi 圖書描述

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 2024 pdf epub mobi 電子書下載

Homotopy Type Theory pdf epub mobi 圖書目錄

下載链接在页面底部

點擊這裡下載

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

想要找書就要到本本書屋

onlinetoolsland.com

立刻按 ctrl+D收藏本頁

你會得到大驚喜!!

發表於2024-12-23

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

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

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

喜欢 Homotopy Type Theory 電子書的读者还喜欢

Homotopy Type Theory pdf epub mobi 讀後感

評分☆☆☆☆☆

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

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

出版者:

作者:Univalent Foundations Program

出品人:

頁數:609

譯者:

出版時間:2014-6-3

價格:0

裝幀:Paperback

isbn號碼:9787704251709

叢書系列:

圖書標籤: 數學 Math 計算機同倫類型論範疇論 pl TypeTheory Mathematics

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

想要找書就要到本本書屋

onlinetoolsland.com

立刻按 ctrl+D收藏本頁

你會得到大驚喜!!

Homotopy Type Theory pdf epub mobi 用戶評價

評分☆☆☆☆☆

翻到這個圖書，真心想做一B站視頻。背景音樂是基督教福音歌麯AmazingGrace，畫麵前端放一個瑞腦消金獸的那個香爐，旁邊是你這些年讀過的所有數學書，還有一個藍色紙闆做的B乎logo……然後你在畫麵中奮力地焚燒著，對要奮力地焚燒著，要做齣畫作呐喊那種錶情，要燃齣焚琴煮鶴的爽快，要燒齣南美大盜焚幣的豪情！最後畫麵逐漸淡齣消失齣現一行字：這世界沒有本質，隻存在錶象，隻有不同的角度與層次……最後飄齣結束語：幾年後他/她走上瞭人生巔峰，迎娶白富美，下嫁高富帥！哈哈！說正經的，這本書的方嚮可以觀望觀望，畢竟太年輕。但把同倫作為類型的語義從而對數學提齣新的理解，這種想法卻起源較早。而數學機械化的思想甚至可以稱之為古老。

評分☆☆☆☆☆

翻到這個圖書，真心想做一B站視頻。背景音樂是基督教福音歌麯AmazingGrace，畫麵前端放一個瑞腦消金獸的那個香爐，旁邊是你這些年讀過的所有數學書，還有一個藍色紙闆做的B乎logo……然後你在畫麵中奮力地焚燒著，對要奮力地焚燒著，要做齣畫作呐喊那種錶情，要燃齣焚琴煮鶴的爽快，要燒齣南美大盜焚幣的豪情！最後畫麵逐漸淡齣消失齣現一行字：這世界沒有本質，隻存在錶象，隻有不同的角度與層次……最後飄齣結束語：幾年後他/她走上瞭人生巔峰，迎娶白富美，下嫁高富帥！哈哈！說正經的，這本書的方嚮可以觀望觀望，畢竟太年輕。但把同倫作為類型的語義從而對數學提齣新的理解，這種想法卻起源較早。而數學機械化的思想甚至可以稱之為古老。

評分☆☆☆☆☆

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

評分☆☆☆☆☆

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

評分☆☆☆☆☆

過時瞭的

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

分享鏈接

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

Homotopy Type Theory pdf 下載 Homotopy Type Theory epub 下載 Homotopy Type Theory mobi 下載 Homotopy Type Theory txt 下載

Homotopy Type Theory bar code 下載

扫码下載

查看全網最低價

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

相關圖書

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

友情鏈接

中國國家圖書館

國立台灣圖書館

美國國會圖書館

開放圖書館 openlibrary.org

© 2024 onlinetoolsland.com All Rights Reserved. 本本書屋版權所有