原始递归相关论文
计算机在人类生活中的地位越来越重要,应用也越来越广泛,人们越来越离不开计算机,而计算机给我们的不成熟、不稳定、不安全、不科......
我们记Kleene[1]所建立的形式数论系统为。对于中任意公式A,我们以A表示A的Gdel数的数词(numeral)。 定义1.我们称中公式P(x)(变......
该文提出两种新的知识表示方法,网络型知识表示方法和与或树型知识表示方法,其中网络型知识表示方法适于表示所有能用拓扑图来表示......
对于泛型程序设计来说，类型理论中的参数化多态是其理论框架，因为参数化多态引入了类型变量，使得类型参数化，从而完全支持类型上的抽象......
本文提出了基于NCP门库的一维量子行走可逆逻辑电路设计方案.根据一维量子行走的特点,电路被划分为投掷硬币和S操作两个部分;文章......
