- 0
- 0
- 约1.3万字
- 约 4页
- 2026-08-26 发布于北京
- 举报
符号
可计算性理论符号列表CS‑363,的课程
描述:
本符号列表涵盖了可计算性理论中几乎所有常用的符号和表示方法。同时了一些比较,方便您快
速掌握要点。请参考我们的第241‑245页(符号部分)以获取每个符号的详细定义索引。
(注意:部分符号在课堂上介绍,只能通过我们的幻灯片查阅。请注意本课程中使用的符号可能不仅限于下
表所列内容。)
1.集合与集合体
表1:集合与集合体
Set集合
N
自然数C,Cn可计算函数IURM指令集
Z
整数R0全定义递归函数PURM程序集
E
偶数R(部分)递归函数
PRS语言L的语句
O
奇数
您可能关注的文档
最近下载
- 《中华人民共和国村民委员会组织法》培训与解读课件.pptx VIP
- 2021年恒大集团领导客史记录总表.xlsx VIP
- 申论答题专业稿纸A4电子版(可打印)(25X24共600字).pdf
- TCAWS 0007―2026 安全管理标准化班组评定通用要求.pdf VIP
- (2020年)中成药治疗慢性肾脏病3~5期(非透析)临床应用指南培训.pptx VIP
- 仪器(第三版魏培海)第七章色谱法及答案.ppt VIP
- 2024年世界卫生组织慢性乙型肝炎患者的预防、诊断、关怀和治疗指南.pptx VIP
- 物理竞赛中的微积分.docx VIP
- 燃气工程制图标准CJJT130-2009.doc VIP
- 算力基础设施窗口指导政策深度解析.docx VIP
原创力文档

文档评论(0)