逻辑演算

分类包含 11 篇文章

子分类： Lambda演算 | 类型论 | 组合子逻辑 | 进程演算

域关系演算

元组关系演算

蕴涵命题演算

实体图

希尔伯特演绎系统

弗雷格命题演算

一元谓词演算

关系演算

存在图

相继式演算