南开国内首次招收故宫学博士 学...
天津电科院研究生联合培养成效显...
吉林农业大学设学习包厢 老师称...
浙工大构建研究生协同创新培养机...
国防科大打造新型军事人才 10...
广东药学院“硕士新生奖学金”覆...
  校友会
  扬大校历
  人才招聘
  扬大学报
  光明网
  人民网
  中华人民共和国教育部
  中国教育与科研计算机网
  中国学位与研究生教育信息网
 
 
数学科学学院学术报告
发布日期:2018-06-08字号:[ ]

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

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

报告时间:2018年6月11日(星期一)下午15:00-16:00

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

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

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

 

欢迎广大师生参加!




打印本页 关闭窗口
CopyRight © 2010 For 扬州大学研究生工作处版权所有 All Rights Reserved
地址:江苏省扬州市大学南路88号 邮政编码:225009
Produced By 大汉网络 大汉版通发布系统