计算机逻辑

分类包含 21 篇文章

子分类：量子闸 | 逻辑编程 | 逻辑门

霍尔逻辑

快速算法设计的原则

霍恩子句

限制 (逻辑)

操作语义学

博弈语义

模糊逻辑

缺省逻辑

自动认识逻辑

非单调逻辑