网站首页 百科知识
又称“霍尔逻辑”。描述和论证程序行为的逻辑。程序和逻辑有着本质的联系。如果把程序看成一个执行过程，它接收一些信息，又输出一些信息。用逻辑公式描述对输入和输出信息的要求，就可建立逻辑公式和程序间的联系。
开放百科全书收录579518条英语、德语、日语等多语种百科知识，基本涵盖了大多数领域的百科知识，是一部内容自由、开放的电子版国际百科全书。