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