kaiyun登录中国入口登录
加入收藏
|
设为首页
|
搜索
搜索
kaiyun官网
学院简介
学院领导
机构设置
人才培养
本科生培养
专业介绍
本科招生介绍
创新人才培养
实验班人才培养
研究生培养
培养方案
招生信息
招生宣传
文件文档
获奖与成果
教学获奖
教学成果
下载专区
科研学术
科研方向
科研经费
论文专利
师资建设
师资概况
教师一览
师德师风监督举报途径
合作交流
国际合作
留学生培养
党群工作
喜庆二十大
主题教育
规章制度
学习园地
支部风采
教工之家
学生工作
团委学生会
一院百企
班级风采
学生特色展示
蓝图工作室
ACM竞赛队
优秀学生代表
联系我们
服务社会
科技扶贫&乡村振兴
支援边疆
科技服务
校友工作
kaiyun登录中国入口登录( 国家示范性软件学院 )简介
kaiyun登录中国入口登录1977年开设计算机通信本科专业,1985年成立计算机工程系,1998年成立计算机科学与技术学院。2008年,按照“学科归位”的原则,将计算机科学与技术学院等六个单位计算机学科的资源重新整合为kaiyun登录中国入口登录。2020年,将原kaiyun登录中国入口登录、软件学院、网络技术研究院调整、合并组建新的kaiyun登录中国入口登录(国家示范性软件学院),并支撑网络与交换技术国家重点实验室(kaiyun登录中国入口登录)。
课程信息
当前位置:
网站首页
>
师资建设
>
教师一览
>
计算机应用技术中心
可计算性理论
来源:kaiyun登录中国入口登录 发布日期:2019-01-21
浏览量:次
课程编号
812.5*021
课程名称
可计算性理论
任课老师
刘晓鸿
课程类型
必修/学位课
课程阶段
博士
学时学分
36学时2学分
基本要求
递归集与可枚举集的一般性质;不可解度最基本的分类,复杂度基本分类。
内容提要
基本计算模型,递归集与递归可枚举集的一般性质;不可解度中基本分类,基本的方法;
类似方法之下计算复杂度的结构NP一完全性。
教学方式
指定教材
参考书目
1. M.D Davis,《Computability Complexity and Languages》,New York:Academic Press,
1983(教材)
2. N. Cutlaml,《Computability》,Cambridge Univ. Press,1980
3. R.I. Soare,《Recursively Enumerable Sets and Degrees》,Springer-Verlag,1987
先修课程
数理逻辑,离散数学
开课学期
秋
更多内容
祝贺kaiyun登录中国入口登录(国家示范性软件学...
2021-03-01
kaiyun登录中国入口登录(国家示范性软件学院)赴成都开展高...
2024-11-19
第三届“南天信息杯”kaiyun登录中国入口登录(国家示范性软...
2024-11-18