当前时间:2012-01-01    
 
数学科学学院学术报告2018-41
发布日期:2018-06-07浏览次数:字号:[ ]

题目:计算,归约与度结构 

摘要:图灵归约是递归论里的基本概念,由此概念我们可以考虑相应的图灵度结构,以及该结构的逻辑性质。我们这里考虑图灵归约的加强形式,并重点介绍弱真值表归约,以及这一归约下的度结构。我们将给出一些近期结果和相关构造。

报 告 人:吴国华,教授,新加坡南洋理工大学

报告时间:2018611日(星期一)下午15:00-16:00

报告地点:扬州大学数学科学学院38号楼报告厅

主办单位:扬州大学数学科学学院

欢迎广大师生参加!




打印本页 关闭窗口
版权所有:扬州大学数学科学学院 地址:江苏省扬州市四望亭路180号   网站地图
电话:0514-87975401 邮编:225002 信箱:扬州大学24001信箱 Email:math@yzu.edu.cn
Produced By 大汉网络 大汉版通发布系统