當前位置 主頁 > 站長資源大全 > iis7百科 > 最大化 縮小

    羅伯特·弗洛伊德——前后斷言法創始人

    欄目:iis7百科 時間:2019-11-12 09:18

      弗洛伊德于1936年6月8日出生于紐約。說自己“自學”并不意味著他沒有接受過高等教育。他畢業于芝加哥大學,但不是計算機或電氣工程以及其他與計算機相關的專業,而是文學。他于1953年獲得文學學士學位。
      在1950年代初期,美國經濟并不十分繁榮。很難找到工作。在文學研究方面沒有特殊技能的弗洛伊德在就業方面遇到很多麻煩。無奈之下,他去了西屋電氣公司當了兩年計算機。操作員,IBM 650機房的夜班。我們知道,早期的計算機都以批處理模式工作。計算機操作員的任務是將程序員的程序放入打卡機(這是一個脫機輔助設備)上的卡中,然后將卡放入。將計算機堆疊在讀卡器上以運行程序。因此,操作員的工作相對簡單,類似于打字員,不需要了解計算機,也不需要了解程序設計。但是弗洛伊德是一個受過高等教育的人,是一個工作了一段時間的操作員,并很快對計算機產生了興趣。他決心要理解和掌握它,因此他借了書。在閑暇時間努力學習,并謙虛地問程序員是否有任何問題。白天不上班時,他回到母校參加課程。這樣,他不僅在1958年獲得理學學士學位,而且逐漸從計算機局外人轉變為計算機專家。
      歷屆圖靈獎得主基本上都有高學歷、高學位,絕大多數有博士頭銜。這是可以理解的,因為創新型人才需要有很好的文化素養,豐富的知識底蘊,因而必須接受良好的教育。但事情總有例外,1978年圖靈獎獲得者、斯坦福大學計算機科學系教授羅伯特·弗洛伊德就是一位“自學成才的計算機科學家”(a Self-Taught Computer Scientist)。
      弗洛伊德在同年發表于《ACM學報》(Journal of ACM)10月號上的另一篇論文中,還第一次把“不確定性”概念引入程序。所謂“不確定性程序”(non deterministic program)就是根據操作規則有多種操作可供選擇,而只選其中之一搜索下去的程序。這對人工智能問題的研究具有十分重要的意義。
      弗洛伊德在演說中對結構化程序設計,遞歸協同例程(recursive coroutine),動態程序設計,基于規則的系統,狀態變換機制(state-transition mechanism)等各種不同程序設計風范進行了比較,并介紹了自己在研究工作中如何根據具體情況應用不同風范的例子,很給人以啟示。時間雖然已過去20多年,他的例子也許有些過時,但他的觀點至今仍然是有效的。
在线观看中文字幕理论片