LISP語言 在線電子書 圖書標籤: lisp 計算機 programming Lisp 編程 計算機科學 Scheme 語言學
發表於2024-12-24
LISP語言 在線電子書 pdf 下載 txt下載 epub 下載 mobi 下載 2024
看過SICP瞭,這本隨便翻瞭翻
評分看過SICP瞭,這本隨便翻瞭翻
評分看過SICP瞭,這本隨便翻瞭翻
評分看過SICP瞭,這本隨便翻瞭翻
評分看過SICP瞭,這本隨便翻瞭翻
馬希文教授 1939 年 5 月 23 日生於河北省棗強縣,是我國著名的數學傢、計算機科學傢、語言學傢和教育傢,也是傑齣的科學普及工作者。他在教學與科研中有其極為獨到的方法,在許多領域 所做的開創性、先驅性及前瞻性的貢獻,具有遠遠超齣領域本身的重要理論涵義。他有超群的天賦,在哲學、音樂、文學等方麵也很有造詣,熟悉多種語言。
馬希文教授 1954 年進入北京大學數學力學係,時年15歲。畢業之年參加概率專門化,畢業時以他為主的研究小組所完成的優秀學術論文《最優分成問題(或量化問題)的漸近 解》,發錶在《數學學報》 1961 年第 3 期上。他被丁石孫教授譽為"最有纔能的學生之一"。
他 1959 年畢業留校,在數學力學係概率教研室工作,主要研究信息論和編碼理論。他開設瞭係裏第一個數學信息論課程,與人閤寫瞭講義,講義中重新整理瞭經典信息論的 理論體係,用更清晰更容易理解的方式證明瞭許多定理,該講義為多屆學生所使用。在此期間他還運用信息論的觀點研究瞭中文的語言學問題,提齣通過 4 級馬爾可夫鏈處理中文可以得到很好的結果。這一方法八十年代後得到廣泛運用。
六十年代後期,他從事試驗設計方麵的研究和推廣,主要研究正交設計,並在北京橡膠總廠推廣試驗設計方法。1981 年齣版專著《正交設計的數學理論》,把現代試驗設計的很多方法,特彆是日本田口學派的方法,從數學上進行瞭概括和整理,把一些方法的數學理論基礎弄得很清 楚,對發展正交設計的理論起瞭很大作用。
七十年代他曾在北京大學 6912 計算機上開發繪圖和識譜奏樂軟件。他從事計算機科學理論的研究,其論文《樹計算機和樹程序》發錶在《計算機學報》創刊號上。他是我國計算機科學領域的第一 批研究生導師之一。
1979 年至 1981 年,他作為首批派往美國的訪問學者,在人工智能創始人 John McCarthy 教授領導的斯坦福大學人工智能實驗室工作。其間從事諸多課題的研究,取得的重要成果之一是程序語義學論文《語義學中的關係方法》。
迴國後,他在人工智能方麵做瞭大量齣色工作。他是中國人工智能領域奠基人之一,參與創建中國計算機學會人工智能學組和中國人工智能學會,並於 1982 年在北京計算機學院創辦瞭人工智能研究室。他在 "知道邏輯" 的研究中取得重要成果,發錶在 1983 年國際人工智能大會上的有關論文受到一緻好評,因此他被推舉為 1985 年國際人工智能大會程序委員會委員。1985 年主持國傢自然科學基金項目"LISP 語言動態編譯係統"。他對我國 863 計劃智能計算機主題的立項起瞭重要作用。他以深刻的洞察力指齣計算機在給人類社會帶來巨大影響的同時,也有其不可避免的局限性。他為此撰寫瞭多篇文章,始 終以清醒的頭腦推動人工智能學科的發展。
馬希文教授曾任中國計算機學會理事,積極推動中國的理論計算機科學建設工作。1983 年他作為主要負責人之一在北京大學籌建成立瞭計算機研究所,舉辦瞭中國首次理論計算機研究班。1984 年參與組織中國計算機學會理論計算機科學分會,以及在廣州召開的第一次理論計算機科學學術會議,並於同年在北大開辦理論計算機科學研究生班,招收 10 名研究生。在此期間創立瞭北京大學理論計算機科學博士點。1987 年推動舉辦瞭第一屆青年計算機工作者學術會議。在此期間他深入研究瞭計算機科學理論的許多問題,在課程講義的基礎上齣版瞭著作《程序設計學》,發錶瞭長篇 論文《理論計算機科學引論》,後者修改後用英文在新加坡 World Scientific Publishing Co. Pte Ltd 齣版。其論文《什麼是理論計算機科學》提齣瞭許多很深刻的認識。
馬希文教授在語言學方麵有很高的造詣,是首屆國傢語言文字工作委員會委員。七十年代後期他與硃德熙先生等著名語言學教授的學術討論發展成一個持續多年語法 討論班,吸引和熏陶瞭一批新人,醞釀瞭一些重要成果,包括他自己的多篇論文,如《中國語言學報》創刊號首篇《關於動詞"瞭"的弱化形式》。而後又先後在 《中國語文》等刊物上發錶數篇高質量的有關漢語語法和漢語虛詞的學術論文,受到漢語學界的高度評價。他熟練掌握英語和俄語,並涉獵阿爾巴尼亞、濛古、日、 德、法、朝鮮、豪薩、斯瓦希利、世界語等多種語言。
馬希文教授是中國計算語言學的奠基人之一,對於計算機科學同語言學的結閤傾注瞭極大的熱忱。1983 年他在北大開設瞭計算語言學課程,而後於 1986 年與硃德熙教授一起組建瞭北京大學計算語言學研究所,並主持瞭信息科學跨學科係列討論班。他在北京語言文化大學參與創辦語言信息處理研究所,並在中國科學 院軟件研究所、北京信息工程學院、黑龍江大學、中軟公司等單位指導課題研究,涉及漢字輸入、文本編輯、機器翻譯、語言理解、自動文摘、漢語計算機輔助教學 等方麵,並親自設計算法、調試程序。他曾撰寫多篇文章論及兩個學科的關係,並熱情洋溢地為他的研究生的著作作序,鼓動用計算機科學的方法輔助語言學研究。
他以一個科學傢的責任感,非常重視科學普及和基礎教育工作。他曾擔任國際數學奧林匹剋競賽中國隊總教練,1989 年率隊參加在德國舉行的第 30 屆國際數學奧林匹剋競賽,取得瞭團體總分第一、金牌總數第一的曆史最好成績。他撰寫瞭一批科普精品,組織領導瞭獲普利策奬的"奇書"《哥德爾、艾捨爾、巴 赫-集異璧之大成》的漢譯工作。該譯著得到原作者的特彆推崇,並於 2001 年 6 月獲第四屆全國科普優秀作品奬。
九十年代,馬希文教授旅居海外,從事計算機軟件應用開發,在 CEON CORPORATION 擔任首席科學傢,並擁有若乾項專利。他曾任北加州北京大學校友會副會長,並積極為國內的科研與教育獻策獻力。他熱心助人,在華人華僑同胞中富有影響力。
馬希文教授19歲畢業後即從事教學工作,幾十年中桃李無數。他開設瞭許多全新的課程,所用講義都是他研究心得的結晶。他指導瞭一批批的研究生,他的學術思 想和治學方法使他們終生受益。
馬希文教授一生淡泊名利,從不追逐職位和奬項。他一味地開路,並不謀求獲得。他不寫鴻篇巨製,但每一篇文章都字字珠璣。他有求必應,樂於讓彆人分享自己的 智慧。他的身上體現瞭一種真正的學者風範。
馬希文教授於 2000 年 12 月 22 日不幸病逝於美國加州 Red Wood City,終年 61 歲。他給我們留下瞭永遠享用不盡的精神財富。
摘自:《邏輯-語言-計算,馬希文文選》,商務印書館,2003年1月
本書共十四章。一至三章介紹lisp的基本語法、語義、s錶達式的概念、以及lisp的核心部分lisp1;四至十章主要討論lisp的函數程序設計方法;十一至十三章是lisp的非函數程序設計部分;十四章介紹lisp中的一些高級成分和高級應用。
本書以lisp語言為素材,注重訓練學生的函數式程序設計能力。書中用形式化的方法來錶述lisp的語義,旨在提高學生的理論素養,同時,書中有大量的習題和例題,涉及到lisp的基本概念直至人工智能領域中的高級應用。仔細閱讀這些程序並認真作習題,對學好本課程是十分有益的。
本書可用作高等院校計算機專業的教材或參考書,也可供從事人工智能工作的研究人員、工程技術人員參考。
評分
評分
評分
評分
LISP語言 在線電子書 pdf 下載 txt下載 epub 下載 mobi 下載 2024