欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
数理逻辑
来自开放百科 - 灰狐
(版本间的差异)
小 (→链接) |
小 (→书籍) |
||
第19行: | 第19行: | ||
==书籍== | ==书籍== | ||
*[https://homotopytypetheory.org/book/ 《Homotopy Type Theory: Univalent Foundations of Mathematics》] The Univalent Foundations Program | *[https://homotopytypetheory.org/book/ 《Homotopy Type Theory: Univalent Foundations of Mathematics》] The Univalent Foundations Program | ||
+ | *[https://www.cs.cmu.edu/~rwh/pfpl/ 《Practical Foundations For Programming Languages》] Robert Harper, 2016 | ||
==图集== | ==图集== |
2022年9月27日 (二) 09:26的版本
您可以在Wikipedia上了解到此条目的英文信息 数理逻辑 Thanks, Wikipedia. |
数理逻辑
目录 |
简介
数理逻辑(Mathematical logic)是数学的一个分支,其研究对象是对证明和计算这两个直观概念进行符号化以后的形式系统。数理逻辑是数学基础的一个不可缺少的组成部分。
历史
体系
数理逻辑的主要分支包括:模型论、证明论、递归论和公理化集合论。
项目
文档
书籍
- 《Homotopy Type Theory: Univalent Foundations of Mathematics》 The Univalent Foundations Program
- 《Practical Foundations For Programming Languages》 Robert Harper, 2016
图集
链接
分享您的观点