麻豆映画传媒安卓版app下载|麻豆传媒官网林予曦|欧美精品在欧美一区二区三区|污污污91香蕉视频|成人影院一区二区三区久久久|我要爆料网|6655自拍偷拍第15页|91制片厂酒井爱|蜜桃传媒影像糖糖真名|91制片厂制片免费观看128,91制片厂APP官网免费看,麻豆传媒网盘资源下载,吃瓜网今日吃瓜 热门大瓜在线观看

新聞網(wǎng)訊 12月30日下午，北京大學(xué)張繼平院士應(yīng)邀為數(shù)學(xué)與統(tǒng)計(jì)學(xué)院師生作題為“數(shù)字的力量”的專題報(bào)告,。報(bào)告由數(shù)學(xué)與統(tǒng)計(jì)學(xué)院院長(zhǎng)劉奎主持,，學(xué)院師生200余人聆聽(tīng)了報(bào)告。

張繼平院士以《新聞聯(lián)播》片頭動(dòng)畫(huà)背后的數(shù)字插值技術(shù)為導(dǎo)入,，介紹了人類認(rèn)識(shí),、應(yīng)用數(shù)字以及數(shù)字概念的產(chǎn)生推動(dòng)了人類心智發(fā)展的歷史，并著重介紹了數(shù)字計(jì)算機(jī)促進(jìn)數(shù)學(xué)研究方式的變化,，例如數(shù)學(xué)軟件Magma和GAP在代數(shù)學(xué)計(jì)算中的強(qiáng)大作用,，以及人工智能的發(fā)展促進(jìn)了數(shù)學(xué)定理的形式化證明，例如輔助證明工具Lean,、Coq等,。

報(bào)告結(jié)束后，學(xué)院師生就數(shù)學(xué)定理輔助證明工具的發(fā)展以及國(guó)內(nèi)相關(guān)研究現(xiàn)狀與張繼平院士進(jìn)行了深入的交流。

張繼平,，中國(guó)科學(xué)院院士,、北京大學(xué)博雅講座教授、中俄數(shù)學(xué)中心主任,。曾任北京大學(xué)數(shù)學(xué)科學(xué)學(xué)院院長(zhǎng),，現(xiàn)為現(xiàn)為中國(guó)大百科全書(shū)(數(shù)學(xué)卷)副主編、MDPI(中國(guó))物理&數(shù)學(xué)科學(xué)委員會(huì)委員,。研究領(lǐng)域是代數(shù)學(xué),，在有限群表示論研究中取得了杰出成就。