欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
数理逻辑
来自开放百科 - 灰狐
(版本间的差异)
小 (→体系) |
小 (→链接) |
||
(未显示1个用户的1个中间版本) | |||
第13行: | 第13行: | ||
==项目== | ==项目== | ||
*[[Proof assistant]] | *[[Proof assistant]] | ||
+ | |||
+ | ==图集== | ||
+ | <gallery> | ||
+ | image:syntax-of-propositional-logic.png|命题逻辑的符号 | ||
+ | </gallery> | ||
==链接== | ==链接== | ||
第18行: | 第23行: | ||
[[category:mathematical logic]] | [[category:mathematical logic]] | ||
[[category:mathematics]] | [[category:mathematics]] | ||
+ | [[category:formal]] |
2022年2月11日 (五) 04:33的版本
您可以在Wikipedia上了解到此条目的英文信息 数理逻辑 Thanks, Wikipedia. |
数理逻辑
目录 |
简介
数理逻辑(Mathematical logic)是数学的一个分支,其研究对象是对证明和计算这两个直观概念进行符号化以后的形式系统。数理逻辑是数学基础的一个不可缺少的组成部分。
历史
体系
数理逻辑的主要分支包括:模型论、证明论、递归论和公理化集合论。
项目
图集
链接
分享您的观点