8月4日 赵东升教授学术报告报告题目:Sober dcpos主讲人:赵东升 教授报告时间:2024年8月4日 15:10-16:10报告地点:图书馆东辅楼报告厅主办单位:金沙集团wwW3354CC报告摘要:Sober空间自然地出现在数学的几个领域。在Domain理论发展的早期,已经证明了每个do...[详细]
8月4日 奚小勇教授学术报告报告题目:On the largest cartesian closed category of stable domains主讲人:奚小勇 教授报告时间:2024年8月4日 14:00-15:00报告地点:图书馆东辅楼报告厅主办单位:金沙集团wwW3354CC报告摘要:Plotkin和Smyth引入了SFP (或更...[详细]
8月4日 汪开云教授学术报告报告题目:Compactness, SI-compactness and co-sobriety主讲人:汪开云 教授报告时间:2024年8月4日 10:10-11:00报告地点:图书馆东辅楼报告厅主办单位:金沙集团wwW3354CC报告摘要:在本次报告中,我们将针对偏序集上所有非空紧饱...[详细]
8月4日 贾晓东教授学术报告报告题目:Valuations monads-the knowns and unknowns主讲人:贾晓东 教授报告时间:2024年8月4日09:00-10:00报告地点:图书馆东辅楼报告厅主办单位:金沙集团wwW3354CC报告摘要:连续赋值映射最初由Claire Jones和Gordon Plotkin在...[详细]
报告题目:具有指定因式分解形式的多项式主 讲 人:王强 教授(加拿大 卡尔顿大学)报告时间:2024年7月31日 9:00-10:00报告地点:数学楼 301主办单位:金沙集团wwW3354CC报告摘要:我们使用群环上的生成函数来计算有限域上的多项式, 该多项式的前几个系数和因...[详细]
报告题目:循环删除或扩展Goppa码的生成多项式主 讲 人:岳勤 教授(南京航空航天大学)报告时间:2024年7月29日 17:00-18:00报告地点:数学楼 304主办单位:金沙集团wwW3354CC报告摘要:众所周知, 经典Goppa码可应用于基于码的密码学,是交替码的特例。许多论...[详细]
报告题目:由布尔函数构造的设计主 讲 人:吴严生 教授(南京邮电大学)报告时间:2024年7月29日 15:00-16:00报告地点:数学楼 304主办单位:金沙集团wwW3354CC报告摘要:组合设计和布尔函数之间存在着强烈而深刻的联系。例如,众所周知有两种基于(n,m)bent...[详细]
报告题目:线性三角函数系数的Abel方程的极限环 报 告 人:刘长剑教授报告时间:2024年7月30日 9:00—11:00报告地点:数学楼301报告摘要:在这个报告中,主要研究下列Abel方程 $$\dot x=A(t)x^2+B(t)x^3$$的极限环,其中,$A(t), B(t)$都是三角多项式。这...[详细]