欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp

数理逻辑

来自开放百科 - 灰狐
(版本间的差异)
跳转到: 导航, 搜索
(书籍)
(文档)
第14行: 第14行:
 
*[[Proof assistant]]
 
*[[Proof assistant]]
 
*[[Open Provable Foundation|定理证明/公式推导]]
 
*[[Open Provable Foundation|定理证明/公式推导]]
 +
 +
==课程==
 +
[http://logic.cmu.edu/ Pure and Applied Logic (PAL)] program at Carnegie Mellon University
  
 
==文档==
 
==文档==

2022年10月7日 (五) 04:54的版本

Wikipedia-35x35.png 您可以在Wikipedia上了解到此条目的英文信息 数理逻辑 Thanks, Wikipedia.

数理逻辑

目录

简介

数理逻辑(Mathematical logic)是数学的一个分支,其研究对象是对证明和计算这两个直观概念进行符号化以后的形式系统。数理逻辑是数学基础的一个不可缺少的组成部分。

历史

体系

数理逻辑的主要分支包括:模型论、证明论、递归论和公理化集合论。

项目

课程

Pure and Applied Logic (PAL) program at Carnegie Mellon University

文档

书籍

图集

链接

分享您的观点
个人工具
名字空间

变换
操作
导航
工具箱