<i id="j9nxa"></i>

<i id="j9nxa"></i><font id="j9nxa"></font>

<optgroup id="j9nxa"><tt id="j9nxa"><tr id="j9nxa"></tr></tt></optgroup>
    <object id="j9nxa"><option id="j9nxa"><big id="j9nxa"></big></option></object>
    <thead id="j9nxa"><del id="j9nxa"><tr id="j9nxa"></tr></del></thead>

        <font id="j9nxa"></font>
        <font id="j9nxa"><del id="j9nxa"><track id="j9nxa"></track></del></font>

        【迎百年校慶】林惠民院士做客“百年南開大講壇”

        來源: 南開新聞網

              南開新聞網訊(通訊員 祁曉飛 記者 喬仁銘 攝影 喬仁銘)5月28日,中國科學院院士、計算機科學國家重點實驗室主任林惠民院士做客“百年南開大講壇”,以“計算與智能”為題,作了精彩的學術報告。我校計算機學院、網絡空間安全學院師生代表160余人參加。

              講座中,林惠民圍繞“什么是計算”“什么是智能”以及計算與智能之間的關系、人工智能倫理等進行了深刻的闡述,并介紹了“計算”“智能”概念的發展歷程。

          林惠民指出,計算、推理都是符號的形式變換,“可以機械地進行”的智能活動可以歸結為已有符號的變換,不產生新符號,本質上不產生新知識。他認為,計算機是“機械智能機”,只會機械的思考,只有機械的智能,本質上沒有創造性,但是人可以利用計算機這個強大的工具從事無法做到的創造性的智能活動。

          在互動環節中,現場師生積極向林惠民提問,從計算機的技術屬性等本質問題出發,進行了深入交流。

          我校計算機學院、網絡空間安全學院相關負責人主持報告會,并為林惠民頒發“百年南開大講壇主講人”證書牌。

          林惠民在多年的科學研究中設計并實現了通用進程代數驗證工具PAM/VPAM,并對此類工具的發展產生了重要影響。與英國Hennessy教授合作,提出并獨立發展了“符號互模擬”理論,解決了傳統并發計算模型對大量實際應用不能有效模擬的問題,為在計算機上對通信并發進程進行推理和驗證提供了理論依據。提出并發計算模型之一π-演算弱互模擬的完備證明系統和唯一不動點歸納法,解決了π-演算的有窮公理化問題。

        編輯: 韋承金

        錯誤與BUG反饋處!
        香港跑马平台哪个信誉好