捕鱼达人2-沉默武士

搜索

您的關(guān)鍵詞

講座報(bào)告 Lectures

當(dāng)前位置: 首頁(yè) · 講座報(bào)告 · 正文
時(shí)間 報(bào)告人
方式 地點(diǎn)

主 講 人:林惠民院士 中國(guó)科學(xué)院軟件所

地  點(diǎn):圖書館明德廳

主 辦 方:福州大學(xué)文化素質(zhì)教育基地

開始時(shí)間:2016-10-20 16:00

結(jié)束時(shí)間:2016-10-20 17:00


主辦:福州大學(xué)數(shù)學(xué)與計(jì)算機(jī)科學(xué)學(xué)院

          福州大學(xué)軟件學(xué)院

承辦:福州大學(xué)圖書館

主講人簡(jiǎn)介:1977年入福州大學(xué)計(jì)算數(shù)學(xué)專業(yè)學(xué)習(xí),1982年2月在福州大學(xué)計(jì)算機(jī)系計(jì)算機(jī)軟件專業(yè)獲得學(xué)士學(xué)位;1986年6月在中國(guó)科學(xué)院軟件研究所獲得計(jì)算機(jī)科學(xué)理論專業(yè)博士學(xué)位。1997年當(dāng)選為中科院院士。林惠民研究員長(zhǎng)期從事計(jì)算機(jī)程序,特別是并發(fā)程序的形式語(yǔ)義學(xué)及形式化方法的研究。他在進(jìn)程代數(shù)的驗(yàn)證工具、消息傳送進(jìn)程的語(yǔ)義理論和π-演算的公理化等方向上取得了突破性進(jìn)展,其主要貢獻(xiàn)包括:1996年獲中國(guó)科學(xué)院自然科學(xué)一等獎(jiǎng)(唯一獲獎(jiǎng)人)。他學(xué)風(fēng)嚴(yán)謹(jǐn),勇于開拓創(chuàng)新,取得了一系列國(guó)際領(lǐng)先水平的成果,受到國(guó)際同行的公認(rèn),是在國(guó)際上有影響的計(jì)算機(jī)科學(xué)家。

講座介紹:電子計(jì)算機(jī)的誕生和廣泛應(yīng)用,從根本上改變了人類生活和工作的方式。和人類創(chuàng)造的其它工具不同,計(jì)算機(jī)能夠代替人從事腦力勞動(dòng)。計(jì)算機(jī)會(huì)思考嗎?計(jì)算機(jī)有智能嗎?我期待與聽眾一起探討計(jì)算與智能之間的關(guān)系。

 


 


歡迎前來(lái)聽講!                       

                                                                   福州大學(xué)文化素質(zhì)教育基地

                                                                             2016/10/13

 

上一篇:圖書館信息資源講座第173講: FULINK移動(dòng)圖書館 資源盡在“掌”中

下一篇:講座:數(shù)字、智能、創(chuàng)業(yè) – 迎接大時(shí)代的機(jī)遇

關(guān)閉

大发888开户,| 皇博线上娱乐| 百家乐娱乐全讯网| 做生意门口怎么摆放| 百家乐压分技巧| 威斯汀百家乐官网的玩法技巧和规则 | 百家乐官网技术秘籍| 真人百家乐官网软件博彩吧| 百家乐官网2号说名书| 百家乐官网代理合作| 网上百家乐危险| 缅甸百家乐赌城| 宝马会娱乐城返水| 葡京百家乐官网技巧| 百家乐官网网上真钱娱乐平台| 虚拟百家乐游戏下载| 百家乐游戏唯一官网网站| 大发888缺少casino组件common| 重庆市| 百家乐官网最好投注| 24山向吉凶水法| 菲彩百家乐的玩法技巧和规则| 大发888娱乐场下载iypu| 百家乐官网榄梯打法| 百家乐官网翻天电影| 百家乐出牌规| 皇冠娱乐| 百家乐官网怎样做弊| 卢克索百家乐官网的玩法技巧和规则| 百家乐7杀6| 红桃k娱乐城备用网址| 百家乐官网赌场娱乐城| 百家乐开户送彩金28| 百家乐影院| 百家乐官网庄闲下载| 百家乐官网翻天粤语| 百家乐咋样赢钱| 博坊百家乐官网游戏| 天地人百家乐现金网| 大发888游戏平台88| 保时捷百家乐官网娱乐城|