系统常量

Visual Basic .Net有很多系统常量，它们都在Microsoft.VisualBasic.Constants命名空间下，这些常量包括很多方面，如表示回车换行符的vbCrLf、表示逻辑结果的vbOK以及用在时间方面的vbShortDate等等。

可计算理论计算模型主要包括

可计算理论的计算模型主要包括: ( 1)Turing 机； ( 2) 递归函数 ； ( 3) λ演算 ；( 4) POST 系统；( 5) 正则算法。 第一个模型是程序设计语言 S，该程序语言定义了 1) 变量；2) 标号； 3)语句； 4) 指令；5) 程序； 6) 状态;；7) 快相； 8) 后继； 9)计算。 设f(x 1 , x 2 , …, x n )是一个部分函数， 如果存在程序 S 计算 f ，则称 f 是部分可计算函数。 从而, 一个函数是否是可计算的,只需要判断是否可以构造对应的程序 S 即可。可计算函数经过原始递归运算还是可计算函数。 给出了通用程序的概念， 任意程序和输入x 1 , x 2 , …( y = # ( ) ), 存在通用程序以 x 1 , x 2 , …, x n 和y 作为输入 ，计算结果恰好等于程序的计算结果。“ 参数定理” 、“ 递归定理”提供了判断一个函数是否可计算的方法，从基本的可计算函数推道出其他函数是否可计算，而不需要构造程序证明其可计算 。