可计算性理论符号对照表.pdfVIP

  • 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

奇数

文档评论(0)

1亿VIP精品文档

相关文档