亚洲精品熟女,天堂视频在线,人妻 丝袜美腿 中文字幕,免费操逼片

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

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

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

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