题目：计算，归约与度结构

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

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

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

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

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

欢迎广大师生参加！