计算逻辑-一流百科

计算逻辑

计算逻辑计算逻辑是使用逻辑来执行或推理计算的。它与计算机科学和工程的关系类似于数理逻辑与数学的关系以及哲学逻辑与哲学的关系。它是计算机科学中逻辑的...