報(bào)告人: 李生剛 教授

講座日期：2020-09-03

講座時(shí)間：19:00

報(bào)告地點(diǎn)：騰訊會(huì)議（840763909）

主辦單位：數(shù)學(xué)與信息科學(xué)學(xué)院

講座人簡(jiǎn)介：

李生剛，博士(四川大學(xué))、教授、博士生導(dǎo)師(陜西師范大學(xué))。主持過國(guó)家自然科學(xué)基金項(xiàng)目，獲得過陜西省科技進(jìn)步二等獎(jiǎng)。主要從事格上拓?fù)鋵W(xué)、模糊擬陣、獨(dú)立成分分析等方面的研究。受葉彥潤(rùn)先生的熏陶，一直對(duì)波利亞(G.Polya)的合情推理模式感興趣，發(fā)表過合情推理及應(yīng)用方面的學(xué)術(shù)論文并指導(dǎo)過合情推理及應(yīng)用方向的研究生。

講座簡(jiǎn)介：

講座將以波利亞的《數(shù)學(xué)與猜想》為基礎(chǔ)，先簡(jiǎn)介常用的合情推理方法并且例示怎樣用合情推理得到一些初等的數(shù)學(xué)（或非數(shù)學(xué)的）發(fā)現(xiàn)，接下來提供利用合情推理模式撰寫的容易理解的學(xué)術(shù)論文，最后是互動(dòng)（包括“課堂練習(xí)”）。