比浏览器更快的访问！
20 关系: 博士，卡内基梅隆大学，史丹佛大學，弗洛伊德算法，形式验证，图灵奖，图论，纽约，美國，美国，物理学，芝加哥大学，高德纳，计算机科学，计算机程序设计艺术，霍尔逻辑，電腦科學家，逻辑断言，斯坦福，文学士。
博士
博士是教育機構授予的最高一級學位。如某科系哲學博士、理學博士、文學博士、教育博士、工商管理博士、管理博士。日常生活中博士學位會與姓氏相結合而被稱為某博士。而博士英文同醫生一樣是Doctor。基本上博士論文必須包含該領域創新又有深度的內容，並通過同行學者審查方能取得博士學位。 然而，醫學博士及法律博士雖稱作「博士」，這不是一般所指的學術型「博士學位」，然而在美國與PhD博士學位具備同等地位（部分國家則視為類碩士學位）。 中国古代的“博士”指专门精通某一门学问或传授经学的官名（例如漢武帝時的五经博士）。 後來衍生為對特定的某一種專門職業精通的人，比如“茶博士”、“酒博士”等，類似近代對於服務業跟製造業師傅的稱呼。.
新！!: 罗伯特·弗洛伊德和博士 · 查看更多 »
卡内基梅隆大学
#重定向 卡内基·梅隆大学.
新！!: 罗伯特·弗洛伊德和卡内基梅隆大学 · 查看更多 »
史丹佛大學
小利蘭·史丹福大學（Leland Stanford Junior University），常直接稱為史丹福大學（Stanford University），為一所坐落於美國加利福尼亞州史丹福的私立研究型大學，因其學術聲譽和创业氛围而獲評為世界上最知名的高等學府之一。 斯坦福大學於1891年由時任加州參議員及州長的鐵路大亨利蘭·史丹福和他的妻子創辦。這是為了紀念他們因傷寒而於16歲生日前夕去世的兒子（）。其為男女及宗教自由的學校，在1930年代前所有學費全免。可是，1893年利蘭·史丹福的逝世及1906年對校園造成重大損毀的三藩市大地震，為該校帶來嚴重的財政困難後才開始收費。二次世界大戰後，時任學校教務長的弗雷德里克·特曼全力支持校友與教職員的企業精神，希望能建立一個自給自足的本地工業，這也是現今硅谷的源流。自上世紀七十年代，史丹福成為了美國SLAC國家加速器實驗室的所在地，及其中一個高等研究計劃署網路（互聯網雛形）的起源地。 學校的校園位於矽谷的西北方，鄰近帕羅奧圖。校方的各個學術部門被歸入七所學術學院內，而包括生物保育區及加速實驗室在內的其他資產則設於主校區之外。此校同時為最富有的教育機構之一，並為第一所在一年內獲得超過十億美元捐款升幅的大學。 史丹福為一所擁有高住宿率及高選擇性的大學，當中的研究生課程較本科的多元化。該校也是馬丁路德金手寫原稿的保存地。史丹福學生透過36支代表隊參與不同的體育競賽，其為兩所太平洋十二校聯盟的私立大學之一。有關校隊曾奪得過104次大學體育協會賽事的冠軍，成績於眾多大學中位列第二。自1994-95年起，其亦一直為全國大學體育競技董事杯的年度得主。 史丹福培養了不少著名人士。其校友涵蓋30名富豪企業家及17名太空員，亦為培養最多美國國會成員的院校之一。史丹福校友創辦了眾多著名的公司機構，如：谷歌、雅虎、惠普、耐克、昇陽電腦等，這些企業的資金合計相等於全球第十大經濟體系。共81名諾貝爾獎得主現或曾於該校學習或工作。.
新！!: 罗伯特·弗洛伊德和史丹佛大學 · 查看更多 »
弗洛伊德算法
#重定向 Floyd-Warshall算法.
新！!: 罗伯特·弗洛伊德和弗洛伊德算法 · 查看更多 »
形式验证
在计算机硬件（特别是集成电路）和软件系统的设计过程中，形式验证的含义是根据某个或某些形式规范或属性，使用数学的方法证明其正确性或非正确性。.
新！!: 罗伯特·弗洛伊德和形式验证 · 查看更多 »
图灵奖
图灵奖（ACM A.M. Turing Award），又譯杜林獎、A.M.图灵奖，是计算机协会（ACM）于1966年设立的獎項，专门奖励对计算机事业作出重要贡献的个人。其名称取自世界计算机科学的先驱、英国科学家、曼徹斯特大学教授艾伦·图灵（A.M. Turing），这个奖设立目的之一是纪念这位現代计算机科學的奠基者。获奖者必须是在计算机领域具有持久而重大的先进性的技术贡献。大多数获奖者是计算机科学家。是计算机界最负盛名的奖项，有“计算机界诺贝尔奖”之称。 图灵奖对获奖者的要求极高，评奖程序也极严，一般每年只奖励一名计算机科学家，只有极少数年度有两名以上在同一方向上做出贡献的科学家同时获奖。2014年11月13日之前图灵奖由英特尔公司以及Google公司赞助，奖金为250,000美元。2014年11月13日，虽然英特尔退出赞助，Google反而将奖金提高到1,000,000美元，和诺贝尔奖奖金相近。 每年，美国计算机协会将要求提名人推荐本年度的图灵奖候选人，并附加一份200到500字的文章，说明被提名者为什么应获此奖。任何人都可成为提名人。美国计算机协会将组成评选委员会对被提名者进行严格的评审，并最终确定当年的获奖者。.
新！!: 罗伯特·弗洛伊德和图灵奖 · 查看更多 »
图论
图论（Graph theory）是组合数学的一个分支，和其他数学分支，如群论、矩阵论、拓扑学有着密切关系。图是图论的主要研究对象。图是由若干给定的顶点及连接两顶点的边所构成的图形，这种图形通常用来描述某些事物之间的某种特定关系。顶点用于代表事物，连接两顶点的边则用于表示两个事物间具有这种关系。 图论起源于著名的柯尼斯堡七桥问题。该问题于1736年被欧拉解决，因此普遍认为欧拉是图论的创始人。 图论的研究对象相当于一维的单纯复形。.
新！!: 罗伯特·弗洛伊德和图论 · 查看更多 »
纽约
纽约（New York）是位於美國紐約州的城市，為美国人口最多的城市、紐約都會區的核心、以及世界最大的城市之一，是对全球的经济、商业、金融、媒体、政治、教育和娱乐具有极大影响力的国际大都会。纽约还是聯合國總部所在地，因此紐約也被认为是世界外交的中心。纽约还被称为「世界文化之都.
新！!: 罗伯特·弗洛伊德和纽约 · 查看更多 »
美國
#重定向 美国.
新！!: 罗伯特·弗洛伊德和美國 · 查看更多 »
美国
美利堅合眾國（United States of America，簡稱为 United States、America、The States，縮寫为 U.S.A.、U.S.），通稱美國，是由其下轄50个州、華盛頓哥倫比亞特區、五个自治领土及外岛共同組成的聯邦共和国。美國本土48州和联邦特区位於北美洲中部，東臨大西洋，西臨太平洋，北面是加拿大，南部和墨西哥及墨西哥灣接壤，本土位於溫帶、副熱帶地區。阿拉斯加州位於北美大陸西北方，東部為加拿大，西隔白令海峽和俄羅斯相望；夏威夷州則是太平洋中部的群島。美國在加勒比海和太平洋還擁有多處境外領土和島嶼地區。此外，美國还在全球140多個國家和地區擁有着374個海外軍事基地。 美国拥有982萬平方公里国土面积，位居世界第三（依陆地面積定義为第四大国）；同时拥有接近超过3.3億人口，為世界第三人口大国。因为有着來自世界各地的大量移民，它是世界上民族和文化最多元的國家之一Adams, J.Q.; Strother-Adams, Pearlie (2001).
新！!: 罗伯特·弗洛伊德和美国 · 查看更多 »
物理学
物理學（希臘文Φύσις，自然）是研究物質、能量的本質與性質，以及它們彼此之間交互作用的自然科學。由於物質與能量是所有科學研究的必須涉及的基本要素，所以物理學是自然科學中最基礎的學科之一。物理學是一種實驗科學，物理學者從觀測與分析大自然的各種基於物質與能量的現象來找出其中的模式。這些模式（假說）稱為「物理理論」，經得起實驗檢驗的常用物理理論稱為物理定律，直到有一天被證明是有錯誤為止(具可否證性)。物理學是由這些定律精緻地建構而成。物理學是自然科學中最基礎的學科之一。化學、生物學、考古學等等科學學術領域的理論都是建構於這些物理定律。 物理學是最古老的學術之一。物理學、化學、生物學等等原本都歸屬於自然哲學的範疇，直到十七世紀至十九世紀期間，才漸漸地從自然哲學中分別成長為獨立的學術領域。物理學與其它很多跨領域研究有相當的交集，如量子化學、生物物理學等等。物理學的疆界並不是固定不變的，物理學裡的創始突破時常可以用來解釋這些跨領域研究的基礎機制，有時還會開啟嶄新的跨領域研究。 通過創建新理論與發展新科技，物理學對於人類文明有極為顯著的貢獻。例如，由於電磁學的快速發展，電燈、電動機、家用電器等新產品纷纷涌现，人類社會的生活水平也得到大幅提升。由於核子物理學日趨成熟，核能發電已不再是藍圖構想，但其所引致的安全問題也使人們意識到地球環境、生態與人類的脆弱渺小。.
新！!: 罗伯特·弗洛伊德和物理学 · 查看更多 »
芝加哥大学
芝加哥大学（University of Chicago），简称芝大（UChicago），位于美国伊利诺伊州芝加哥，是世界著名私立研究型大学，常年位列各大学排行榜世界前十。 芝加哥大学1890年由石油大王约翰·洛克菲勒创办，是美国大学协会的创始会员之一。芝加哥大学包括本科学院以及由4个系、6所职业学院和1所继续教育学院组成的各种研究生项目和跨学科委员会，并拥有约5000名本科生和10,000名研究生。 芝加哥大学的学者和研究人员在众多人文社科领域均开创了“芝加哥学派”，其中包括著名的“芝加哥经济学派”和“芝加哥社会学派” ；芝加哥大学还是法律经济学的诞生地，是经济学、社会学、法学、人类学等学科全球最重要的研究教学中心之一。 而从曼哈顿计划开始，大批科学家汇集于芝大，在“原子能之父”恩里科·费米的领导下建立了世界上第一台可控核反应堆（”芝加哥一号堆”）、成功开启了人类的原子能时代，并创立了美国第一所国家实验室阿贡国家实验室和之后著名的费米实验室，进而奠定了芝大在自然科学界的重要地位。 截止至2017年，芝加哥大学有97位教师和校友曾获得诺贝尔奖，位列世界第四。另有9位菲尔兹奖得主 、4位图灵奖得主、22位普利策奖得主在芝大工作或学习过，还有15位教授荣获过美国国家科学奖章，现任教授中有近70位美国国家科学院（44位）、美国国家工程院（9位）和美国国家医学院院士（14位）。美国第44任总统奥巴马曾长期在芝大法学院任教（1992-2004年）。 芝加哥大学是培养华人精英的两个摇篮和聚集地之一（另一个是柏克萊加州大學）。芝加哥大学培养了李政道、杨振宁和崔琦三个华人诺贝尔奖得主（其中，李政道和杨振宁实现华人诺奖零的突破），著名华裔政治家、中华民国前副总统、中國國民黨前主席连战，著名法学家梅汝璈，著名医学家吴阶平，著名物理学家叶企孙，著名气象学家郭晓岚，保釣運動健將林孝信教授，世界银行前高级副总裁林毅夫等等亦毕业于芝加哥大学或曾在芝大学习。诺贝尔化学奖得主李远哲、数学家陈省身等也曾长期在芝加哥大学任教。.
新！!: 罗伯特·弗洛伊德和芝加哥大学 · 查看更多 »
高德纳
德納（Donald Ervin Knuth，音譯：唐納德·爾文·克努斯，），出生於美国密尔沃基，著名计算机科学家，斯坦福大学计算机系榮譽退休教授。高德纳教授為现代计算机科学的先驅人物，創造了演算法分析的領域，在數個理論計算機科學的分支做出基石一般的貢獻。在计算机科学及数学领域发表了多部具广泛影响的论文和著作。1974年圖靈獎得主。 高德纳最為人知的事蹟是，他是《计算机程序设计艺术》的作者。此書是計算機科學界最受高度敬重的參考書籍之一。此外還是排版軟件tex和字型設計系統Metafont的发明人。提出文学编程的概念，並創造了WEB與CWEB軟體，作為文學編程開發工具。.
新！!: 罗伯特·弗洛伊德和高德纳 · 查看更多 »
计算机科学
计算机科学用于解决信息与计算的理论基础，以及实现和应用它们的实用技术。 计算机科学（computer science，有时缩写为CS）是系统性研究信息与计算的理论基础以及它们在计算机系统中如何与应用的实用技术的学科。 它通常被形容为对那些创造、描述以及转换信息的算法处理的系统研究。计算机科学包含很多分支领域；有些强调特定结果的计算，比如计算机图形学；而有些是探討计算问题的性质，比如计算复杂性理论；还有一些领域專注于怎样实现计算，比如程式語言理論是研究描述计算的方法，而程式设计是应用特定的程式語言解决特定的计算问题，人机交互则是專注于怎样使计算机和计算变得有用、好用，以及随时随地为人所用。 有时公众会误以为计算机科学就是解决计算机问题的事业（比如信息技术），或者只是与使用计算机的经验有关，如玩游戏、上网或者文字处理。其实计算机科学所关注的，不仅仅是去理解实现类似游戏、浏览器这些软件的程序的性质，更要通过现有的知识创造新的程序或者改进已有的程序。 尽管计算机科学（computer science）的名字里包含计算机这几个字，但实际上计算机科学相当数量的领域都不涉及计算机本身的研究。因此，一些新的名字被提议出来。某些重点大学的院系倾向于术语计算科学（computing science），以精确强调两者之间的不同。丹麦科学家Peter Naur建议使用术语"datalogy"，以反映这一事实，即科学学科是围绕着数据和数据处理，而不一定要涉及计算机。第一个使用这个术语的科学机构是哥本哈根大学Datalogy学院，该学院成立于1969年，Peter Naur便是第一任教授。这个术语主要被用于北欧国家。同时，在计算技术发展初期，《ACM通讯》建议了一些针对计算领域从业人员的术语：turingineer，turologist，flow-charts-man，applied meta-mathematician及applied epistemologist。 三个月后在同样的期刊上，comptologist被提出，第二年又变成了hypologist。 术语computics也曾经被提议过。在欧洲大陆，起源于信息（information）和数学或者自动（automatic）的名字比起源于计算机或者计算（computation）更常见，如informatique（法语），Informatik（德语），informatika（斯拉夫语族）。 著名计算机科学家Edsger Dijkstra曾经指出：“计算机科学并不只是关于计算机，就像天文学并不只是关于望远镜一样。”（"Computer science is no more about computers than astronomy is about telescopes."）设计、部署计算机和计算机系统通常被认为是非计算机科学学科的领域。例如，研究计算机硬件被看作是计算机工程的一部分，而对于商业计算机系统的研究和部署被称为信息技术或者信息系统。然而，现如今也越来越多地融合了各类计算机相关学科的思想。计算机科学研究也经常与其它学科交叉，比如心理学，认知科学，语言学，数学，物理学，统计学和经济学。 计算机科学被认为比其它科学学科与数学的联系更加密切，一些观察者说计算就是一门数学科学。 早期计算机科学受数学研究成果的影响很大，如Kurt Gödel和Alan Turing，这两个领域在某些学科，例如数理逻辑、范畴论、域理论和代数，也不断有有益的思想交流。.
新！!: 罗伯特·弗洛伊德和计算机科学 · 查看更多 »
计算机程序设计艺术
《计算机程序设计艺术》（The Art of Computer Programming），簡稱TAOCP，是高德纳编著的关于计算机程序设计的七卷本著作。作者並因此获得美国计算机协会1974年图灵奖。.
新！!: 罗伯特·弗洛伊德和计算机程序设计艺术 · 查看更多 »
霍尔逻辑
霍爾邏輯（Hoare Logic），又稱弗洛伊德-霍爾邏輯（Floyd–Hoare logic），是英国计算机科学家東尼·霍爾开发的形式系统，这个系统的用途是为了使用严格的数理逻辑推理來替计算机程序的正确性提供一组逻辑规则。 這個想法起源於罗伯特·弗洛伊德於較早的研究，他为流程图提供了类似的系统。東尼·霍爾於1969年首次發表，随后为其他研究者所精制。.
新！!: 罗伯特·弗洛伊德和霍尔逻辑 · 查看更多 »
電腦科學家
電腦科學家（Computer scientist）是指一類具有資深電腦科學知識，並從事相關研究的人物。電腦科學家通常從事計算與資訊理論方面的研究，有時也關注這些理論在電腦系統中的應用。 與電腦工程師相對，電腦科學家通常對電腦系統的理論，而非實作，更加感興趣，儘管有時電腦科學家的工作也涉及到硬體系統。電腦科學家通常會對電腦科學的某一分支進行深入研究，但是這些分支都建立在對計算系統的理論研究上。.
新！!: 罗伯特·弗洛伊德和電腦科學家 · 查看更多 »
逻辑断言
逻辑断言（Logical assertion）是断定一个特定前提为真的陈述，并且对在证明中的陈述有用。它等价于有空前件的相继式。 例如，如果 p.
新！!: 罗伯特·弗洛伊德和逻辑断言 · 查看更多 »
斯坦福
斯坦福是Stamford或Stanford的音译，可以指：.
新！!: 罗伯特·弗洛伊德和斯坦福 · 查看更多 »
文学士
文學士（B.A.或A.B.，詞源來自拉丁語的artium baccalaureus），這一種是本科教育（undergraduate）學士學位，大部分大学授其予修讀人文學科學科之學生，一般包括文學、語言學、歷史、地理、文化研究和傳意學等。在不同國家的教育體制，要取得文學士學位需三年至四年時間，部份國家的大學更設有榮譽文學士，通常由學業成績決定其榮譽等級。 Category:高等教育 Category:學士學位.
新！!: 罗伯特·弗洛伊德和文学士 · 查看更多 »
