霍尔逻辑

概论逻辑（英语：logic）的字根源起于希腊语逻各斯（希腊语：λόγος），最初的意思有词语、思想、概念、论点、推理之意。后译为（法语：logique），最后发展为英文中的逻辑（英语：logic）。1902年严复译《穆勒名学》时，将其意译为“名学”，但这不合名家或者名教之名学中“名”的本意。和制汉语采用汉字“论理”，意译为“论理学”。孙文于其文《治国方略·以作文为证》意译为“理则”，当代中文一般采取音译方式，将其译为逻辑。逻辑本身是指是推论和证明的思想过程，而逻辑学是研究“有效推论和证明的原则与标准”的一门学科。作为一个形式科学，逻辑透过对推论的形式系统与自然语言中的论证等来研究并分类命题与论证的结构。逻辑的范围是非常广阔的，从对谬论与悖论的研究之类的核心议题，到利用概率来推论及包含因果论的论证等专业的推理分析。逻辑在今日亦常被使用在论辩理论之中。传统上，逻辑被作为哲学的一个分支来研究，和...

发现1879年，埃德温·赫伯特·霍尔（EdwinHerbertHall）在马里兰州约翰霍普金斯大学攻读博士时发现了霍尔效应。这一发现依靠设计精巧的仪器，比电子的发现还要早18年。解释在导体上外加与电流方向垂直的磁场，会使得导线中的电子受到洛伦兹力而聚集，从而在电子聚集的方向上产生一个电场，此一电场将会使后来的电子受到电力作用而平衡掉磁场造成的洛伦兹力，使得后来的电子能顺利通过不会偏移，此称为霍尔效应。而产生的内建电压称为霍尔电压。方便起见，假设导体为一个长方体，长度分别为L{\displaystyleL}、b{\displaystyleb}、d{\displaystyled}，磁场垂直于Lb{\displaystyleLb}平面。当电流经过Ld{\displaystyleLd}平面的方向，电流I=nqv(Ld){\displaystyleI=nqv(Ld)}，而nq{\displaysty...

注释

霍尔三元组霍尔逻辑的中心特征是霍尔三元组（Hoaretriple）。这种三元组描述一段代码的执行如何改变计算的状态。Hoare三元组有如下形式这里的P和Q是断言而C是命令。P叫做前条件而Q叫做后条件。断言是谓词逻辑的公式。这个三元组在直觉上读做:只要P在C执行前的状态下成立，则在执行之后Q也成立。注意如果C不终止，也就没有"之后"了，所以Q在根本上可以是任何语句。实际上，你可以选择Q为假来表达C不终止。事实上，这种情形叫做"部分正确(partialcorrectness）"。如果C终止并且在终止时Q是真，则表达式被称作"全部正确性（totalcorrectness）"。终止必须被单独证明。霍尔逻辑为简单的命令式编程语言的所有构造提供了公理和推理规则。除了给Hoare论文中的简单语言的规则，其他语言构造的规则也已经被Hoare和很多其他研究者开发完成。包括并发、过程、goto语句，和指针。部...

作品《第四扇门》外部链接