约翰·霍普克罗夫特

✍ dations ◷ 2025-07-10 16:22:16 #约翰·霍普克罗夫特
约翰·爱德华·霍普克洛夫特(英语:John Edward Hopcroft,1939年10月7日-),生于美国华盛顿州西雅图市,理论计算机科学家,为1986年图灵奖得主。在形式语言,计算理论及数据结构领域中,由他写作的教科书,被认为是经典著作。1962年在斯坦福大学取得硕士学位,1964年取得博士。毕业后曾在普林斯顿大学任教,之后转往康乃尔大学。1986年与罗伯特·陶尔扬共同获得图灵奖。

相关

  • 下视丘下丘脑(英语:Hypothalamus),是调节内脏活动和内分泌活动的较高级神经中枢所在,又称丘脑下部。位于丘脑的下方(希腊文 ὑποθαλαμος = under the thalamus),脑干的上方,控制身
  • 铜绿假单胞菌绿脓杆菌,又称铜绿假单胞菌(学名:Pseudomonas aeruginosa),是一种革兰氏阴性菌、好氧、呈长棒形的细菌,只有单向的运动性。它是一种机会性感染细菌,且对植物亦是机会性感染的。与其
  • 尺骨尺骨(拉丁语:Ulna)是位在人体上肢中前臂内侧的骨头,即在尾指侧的骨,在桡骨之旁。在靠近上臂处有一半月形的关节面,称为滑车切迹,与肱骨滑车共同形成关节。切迹上方有两个突起,分别称
  • 环境心理学环境心理学(英语:environmental psychology) 是一个跨领域的学科,着重在人与环境之间的交互作用。 环境心理学中对环境的定义广泛,可以涵盖自然环境、 社会环境、建成环境、学习
  • 形成层形成层是一个植物组织层,提供未分化细胞给植物生长。有几种不同种类的形成层被发现在植物的茎和根中:
  • 外来种外来种,有时也称为引入种,是指原来在当地没有自然分布,经由人为无意或有意引进的物种。由于人类在世界各地交流频繁,使得许多生物得以突破地理隔绝,拓展至他处。外来种移入后,可能
  • 云母云母是云母族矿物的统称,是钾、铝、镁、铁、锂等金属的铝硅酸盐,都是层状结构,单斜晶系。晶体呈假六方片状或板状,偶见柱状。层状解理非常完全,有玻璃光泽,薄片具有弹性。英语中“
  • 威尔士党威尔士党(Plaid Cymru – the Party of Wales,“Plaid Cymru”是威尔士语,“the Party of Wales”是英语,意思都是“威尔士党”),是英国威尔士的一个地方政党。现在以在欧盟中建立
  • 碘离子碘化物指含有碘离子(I−)的化合物, 包括以碘化铯为例的离子化合物以及以四碘化碳为例的共价化合物。大多数离子性碘化物都是可溶于水的,除了黄色的碘化银和碘化铅。检验碘离子时
  • 肯定后件肯定后件(Affirming the consequent),是一种形式谬误,其形式如下:这种主张是无效的,也就是说,虽然1和2是真的,结论的3却是错误的。因为在1的地方,并没有声明P是唯一导致Q的原因。因此