beat-365(中国)-官方网站

您所在的位置： 首頁 > 學術研究 > 學術信息 > 正文

【11月30日】AND-OR樹的最優算法與特征分布——數理邏輯論壇

主講人簡介：彭甯甯，武漢理工大學理學院數學系副教授。2013年畢業于日本東北大學數學研究所，同年獲藤野先生獎勵賞。主要研究領域為數理邏輯、反推數學以及随機算法。