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