徽标
联盟百科
通讯
下载应用,请到 Google Play
新! 在您的Android™设备上下载联盟百科!
安装
比浏览器更快的访问!
 

傑拉德·傑伊·薩斯曼

指数 傑拉德·傑伊·薩斯曼

傑拉德·傑伊·薩斯曼(Gerald Jay Sussman,),生於美國,著名計算機科學家,現為麻省理工學院教授。他是自由軟體基金會的創始元老之一,現任理事。.

14 关系: ACM理學士编程语言美國电机马文·闵斯基计算机科学计算机程序的构造和解释认知科学麻省理工学院蓋伊·史提爾二世自由软件基金会Scheme数学

ACM

ACM可以指:.

新!!: 傑拉德·傑伊·薩斯曼和ACM · 查看更多 »

理學士

學學士(Bachelor of Science,Baccalaureus Scientia,简称B.S.,BS,B.Sc.或BSc),或稱理學士,大學本科學位,授予修讀自然科學相關專業,完成大學本科(台灣稱為大學部)學業的畢業生。 台灣的理學學士、工學學士、農學學士的英文都是Bachelor of Science,只在Science後面以in這個前置詞做區別,in Engineering是工學院畢業生,in Agriculture是農學院畢業生。 香港的工學學士一般不算作理學士(Bachelor of Science),一般稱為Bachelor of Engineering。其他較專門理學相關的學科仍稱作Bachelor of Science,並加上括號指明主修科,如Bachelor of Science (Biochemistry) 漢語名稱的區別通常用以表明畢業生入讀學系的所屬學院:理學院、工學院、農學院。 Category:教育 Category:學士學位.

新!!: 傑拉德·傑伊·薩斯曼和理學士 · 查看更多 »

编程语言

编程语言(programming language),是用来定义计算机程序的形式語言。它是一种被标准化的交流技巧,用来向计算机发出指令。一种计算机语言让程序员能够准确地定义计算机所需要使用的数据,并精确地定义在不同情况下所应当采取的行动。 最早的编程语言是在電腦發明之前產生的,當時是用來控制及自動演奏鋼琴的動作。在電腦領域已發明了上千不同的编程語言,而且每年仍有新的编程語言誕生。很多编程語言需要用指令方式說明計算的程序,而有些编程語言則屬於宣告式編程,說明需要的結果,而不說明如何計算。 编程语言的描述一般可以分為及語義。語法是說明編程語言中,哪些符號或文字的組合方式是正確的,語義則是對於編程的解釋。有些語言是用規格文件定義,例如C語言的規格文件也是ISO標準中一部份,2011年後的版本為ISO/IEC 9899:2011,而其他55語言(像Perl)有一份主要的文件,視為是。.

新!!: 傑拉德·傑伊·薩斯曼和编程语言 · 查看更多 »

美國

#重定向 美国.

新!!: 傑拉德·傑伊·薩斯曼和美國 · 查看更多 »

电机

電機(Electric Machine),是機械能與電能之間轉換裝置的通稱。轉換是雙向的,大部分應用的是電磁感應原理。由機械能轉換成電能的電機,通常稱做“發電機”;把電能轉換成機械能的電機,被稱做“電動機”。其余的還有其他的新型電機出現,比如超聲波電機(应用壓電效應),就不用電磁感應原理。然而,靜止電機則指的是變壓器。.

新!!: 傑拉德·傑伊·薩斯曼和电机 · 查看更多 »

马文·闵斯基

文·李·明斯基(Marvin Lee Minsky,),生於美国紐約州紐約市,美国科學家,專長於認知科學與人工智能领域,麻省理工学院人工智能实验室的创始人之一,著有几部人工智能和哲学方面的作品。1969年,因為在人工智能領域的貢獻,獲得圖靈獎。.

新!!: 傑拉德·傑伊·薩斯曼和马文·闵斯基 · 查看更多 »

计算机科学

计算机科学用于解决信息与计算的理论基础,以及实现和应用它们的实用技术。 计算机科学(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,这两个领域在某些学科,例如数理逻辑、范畴论、域理论和代数,也不断有有益的思想交流。.

新!!: 傑拉德·傑伊·薩斯曼和计算机科学 · 查看更多 »

计算机程序的构造和解释

《计算机程序的构造和解释》(Structure and Interpretation of Computer Programs,SICP)是一本关于计算机程序设计的总体性观念的基礎教科书,由MIT press與McGraw-Hill共同出版行銷。作者是麻省理工学院的教授哈尔·阿伯尔森、傑拉德·傑伊·薩斯曼,此外傑拉德·傑伊·薩斯曼的妻子Julie Sussman也有參與本書的製作。封底的作者圖像是由其實驗室的同僚Nick Papadakis後製的合成照。 书中使用程序设计语言Lisp的方言Scheme来解释计算机科学的核心概念,包括抽象(abstraction),递归(recursion),直譯器(interpreters),以及(metalinguistic abstraction)。具體而微地由宏觀到微觀給出清楚地輪廓與脈絡。.

新!!: 傑拉德·傑伊·薩斯曼和计算机程序的构造和解释 · 查看更多 »

认知科学

認知科學(Cognitive Science),是一門研究訊息如何在大腦中形成以及轉錄過程的跨領域學科。它研究何为认知,认知有何用途以及它如何工作,研究信息如何表现为感觉、语言、注意、推理和情感。其研究領域包括心理學、哲學、人工智能、神經科學、學習、語言學、人類學、社會學和教育學。它跨越相當多層次的分析,從低層次的學習和決策機制,到高層次的邏輯和策劃能力,以及腦部神經電路。「認知科學」這個詞是在1973年評注一部關於當時人工智慧最新研究的著作時創造的。同10年內,《認知科學期刊》和相繼於美國加州成立。认知科学的基本要义是:理解思维的最好途径,是认识脑中的代表性结构,以及这些结构中发生的计算性过程。.

新!!: 傑拉德·傑伊·薩斯曼和认知科学 · 查看更多 »

麻省理工学院

麻省理工學院(Massachusetts Institute of Technology,縮寫為MIT)是位於美國麻薩諸塞州劍橋市的私立研究型大學。成立於1861年,當時目的是為了響應。學校採用了辦學,早期著力於應用科學與工程學的實驗教學。麻省理工的研究人員在二戰及冷戰期間,致力開發電腦、雷達及慣性導航系統技術;戰後的防禦性科技研究使學校得以進一步發展,教職員人數及校園面積在的帶領下有所上升。大學於1916年遷往現在位於查爾斯河北岸的校址,沿岸伸延逾,佔地。 擁有6間學術學院、32個學系部門的麻省理工學院常獲納入全球最佳學府之列。學校一直聞名於物理科學與工程學的教研,但在近代亦大力發展諸如生命科學、經濟學、管理學、語言學等其他學術範疇。別名「工程師」的麻省理工體育校隊合計31支,涵蓋不同項目,學生因此可參與不同類型的跨校體育聯賽。 ,著名麻省理工師生、校友或研究人員包括了91位諾貝爾獎得主、52位國家科學獎章獲獎者、45位羅德學者、38名麥克阿瑟獎得主、6名菲爾茲獎獲獎者、25位图灵奖得主。此校同時具很強的創業文化,由其校友所創辦的公司利潤總值相當於全球第十一大經濟體。.

新!!: 傑拉德·傑伊·薩斯曼和麻省理工学院 · 查看更多 »

蓋伊·史提爾二世

#重定向 小蓋伊·史提爾.

新!!: 傑拉德·傑伊·薩斯曼和蓋伊·史提爾二世 · 查看更多 »

自由软件基金会

自由軟件基金會(Free Software Foundation,FSF)是一個致力於推廣自由軟件的美國民間非營利性組織。它於1985年10月由理查德·斯托曼建立。其主要工作是執行GNU計劃,開發更多的自由軟件。 從其建立到1990年代中自由軟件基金會的基金主要被用來僱用編程師來發展自由軟件。從1990年代中開始寫自由軟件的公司和個人繁多,因此自由軟件基金會的僱員和志願者主要在自由軟件運動的法律和結構問題上工作。.

新!!: 傑拉德·傑伊·薩斯曼和自由软件基金会 · 查看更多 »

Scheme

Scheme是一种函数式编程语言,是Lisp的两种主要方言之一(另一种为Common Lisp)。不同于Common Lisp,Scheme遵循極簡主義哲学,以一个小型语言核心作为标准,加上各种强力语言工具(语法糖)来扩展语言本身。 麻省理工學院與其他院校曾采用Scheme教授计算机科学入門課程。著名的入門教材《-zh-hans:计算机程序的构造和解释;zh-hant:電腦程式的構造和解釋-》(SICP)利用Scheme來解釋程序設計 。Scheme的廣泛受眾被視為一個主要優勢,然而不同實現之間的差異成為了它的一個劣勢。 Scheme最早由麻省理工學院的蓋伊·史提爾二世與傑拉德·傑伊·薩斯曼在1970年代發展出來,並由兩人發表的「λ論文集」推廣開來。 Scheme語言與λ演算關係十分密切。小寫字母「λ」是Scheme語言的標誌。 Scheme的哲学是:设计计算机语言不应该进行功能的堆砌,而应该尽可能减少弱点和限制,使剩下的功能显得必要。Scheme是第一個使用靜態作用域的Lisp方言,也是第一个引入“干净宏”和第一类续延的编程语言。.

新!!: 傑拉德·傑伊·薩斯曼和Scheme · 查看更多 »

数学

数学是利用符号语言研究數量、结构、变化以及空间等概念的一門学科,从某种角度看屬於形式科學的一種。數學透過抽象化和邏輯推理的使用,由計數、計算、量度和對物體形狀及運動的觀察而產生。數學家們拓展這些概念,為了公式化新的猜想以及從選定的公理及定義中建立起嚴謹推導出的定理。 基礎數學的知識與運用總是個人與團體生活中不可或缺的一環。對數學基本概念的完善,早在古埃及、美索不達米亞及古印度內的古代數學文本便可觀見,而在古希臘那裡有更為嚴謹的處理。從那時開始,數學的發展便持續不斷地小幅進展,至16世紀的文藝復興時期,因为新的科學發現和數學革新兩者的交互,致使數學的加速发展,直至今日。数学并成为許多國家及地區的教育範疇中的一部分。 今日,數學使用在不同的領域中,包括科學、工程、醫學和經濟學等。數學對這些領域的應用通常被稱為應用數學,有時亦會激起新的數學發現,並導致全新學科的發展,例如物理学的实质性发展中建立的某些理论激发数学家对于某些问题的不同角度的思考。數學家也研究純數學,就是數學本身的实质性內容,而不以任何實際應用為目標。雖然許多研究以純數學開始,但其过程中也發現許多應用之处。.

新!!: 傑拉德·傑伊·薩斯曼和数学 · 查看更多 »

传出传入
嘿!我们在Facebook上吧! »