索阅 100例 首 页| 资 讯| 下 载| 论 坛| 博 客| Webinar| 高 校| 专 刊| 会展| EETV| 百科| 问答| 电路图| 工程师手册| Datasheet

开放分类包含“计算机逻辑”的词条：

逻辑编程 2009-06-26 葱爆羊肉
逻辑编程是种编程典范，它设定答案须符合的规则来解决问题，而非设定步骤来解决问题。过程是 事實+規則=結果。 不同的方法，可以看Inductive logic programming。 逻辑编程的要点是将正规的逻辑风格带入电脑程式设计之中。数学家和哲学家发现逻辑是有效的理论分析工具。很多问题可以自然地表示成一个理论。说需要解答一个问题，通常与解答一个新的假设是否跟现在的理论无冲突等价。逻辑提供