能行计算复杂性Blum测度的产生性

设P:(?)_0,(?)_1,…,(?)_i,…是一元部份递归函数的一个可接受枚举。称算子F:P→P是一个能行全算子,假若有递归函数S使 (1)((?)i)((?)n):F[(?)i](n)=(?)s(i)(n),且 (2)((?)i):(?)i是递归函数(?)(?)s(i)是递归函数;这时若有(?)r=S,则把r称为能行全算子F的一个指标。 称能行全算子F是能行计算复杂性的Blum测度算子(简称B-算子),假若F满足下述两条Blum公理: (1) ((?)n)((?)i):F[(?)i](n)↓(?)(?)i(n)↓, (2) {〈i,n,m〉|F[(?)i](n)=m}是递归集。 称一个B-算子F的值域{F[(?)i]|i=1,1,…}为一个Blum可接受机器类,F的指标被叫做这个机器类的指标。 设N为非负整数集,M(?)N,称M是Blum可接受机器类的指标集,假若 ((?)r):(r∈M)(?)((?)r是递归函数且((?)B-算子F) ((?)i)(F[(?)i]=(?)(?)r(i)))。 本文的结果是: 定理。Blum可接受机器奥的指标集M是产生集。     

离散数学结构及其在计算机科学中的应用

计算机科学中有些高级的书籍,假设从读者已经了解的那些数学课题所组成的章节开始,对于这些课题的解说通常是很简单的,而所总结出来的结果对于书的其余部分又是必须预先知道的。通过这些简单的介绍来学习课题是不可能的。对于计算机科学方面的大学生来说,要学习对于数学系学生所要学习的每一门课题的课程是不可能的。因此,一般的趋势是选择数学中的几个对于学习计算机科学领域所必需的课题,并以其它     

重写技术及其在计算机科学中的应用

项重写系统是一种描述不确定计算的计算模型。近十年来,重写技术在计算机科学的许多重要领域得到广泛应用,表现出作为知识信息处理系统的良好性质,引起了人们对重写技术的重视,本文介绍重写技术的主要内容,着重强调了完全过程的思想。同时说明了目前重写技术几个活跃的研究课题。本文还介绍了重写技术在自动定理证明、逻辑程序设计和软件开发中的应用。     

理论计算机科学引论

本文介绍可计算理论和计算理论的基本内容,包括抽象可计算理论、递归计算、顺序计算、逻辑计算等内容。与以前的作法的主要不同是:用S表达式而不是自然数做为基本论域,用一般递归函数而不是图灵机做为基础模型。这样做可以使理论与实践更加接近。以本文的内容为骨干,充实以必要的讲解,配上适当的习题,可以做为研究生一学期的教材。     

算法分析和计算复杂性理论

一、算法与程序算法的研究是计算机科学的重要课题之一。早在电子计算机问世之前，就有人开始了算法的研究，并创立了许多有效的算法。特别是1946年以后，由于电子计算机的出现和迅猛发展，使算法的研究取得了空前的进展。到了70年代，随着大规模集成电路的出现和计算机的更新换代，算法的研究又发生了一次飞跃，产生了与并行处理机相适应的并行算法，从而使很多原来难于处理的问题得以迎刃而解。80年代国际上出现了所谓“并行热”。目前，算法的研究正方兴未艾，不论从事计算机硬件设计（如计算机部件设计、系统设计或网络设计等），还是从…     

理论计算机科学专题前言

理论计算机科学是整个计算机科学的理论根基。自从Alonzo Church和Alan Turing分别使用形式语言与自动机来为人类的计算行为进行理论建模开始,理论计算机科学领域的学者们就将计算本身作为一种客观存在,以“格物,致知”的态度来探究计算的本质原理。现代计算机科学与技术及其相应工程与应用的蓬勃发展,为这一基础学科提供了创新的舞台,使其充满了活力。     

模糊数学及其在计算机科学中的应用(一)

(一)模糊子集基本概念和模糊滤波器应用 1965年,美国加里福尼亚大学的L.Zadeh教授发表了题为“模糊集合”(Fuzzy sets)的重要论文,从此诞生了一门研究事物模糊性的新兴学科——模糊数学。这门学科受到人们广泛的重视并且得到迅速发展,它所涉及的学科领域相当广泛,包括图象识别、自动机     

计算机科学在生物信息学中的应用

生物信息学是一门新兴的交叉学科．计算机科学如何更快更好地发挥其在生物信息学中的作用是计算机研究和开发人员面临的一个重要的新课题。本文通过对生物信息学中计算机技术的介绍，使广大生物信息学家及计算机研究人员从中得到启示，借助日益发展的计算机技术更好推动生物信息学的发展。     

逻辑学在计算机科学中的应用

随着科技不断发展,计算机技术也在不断飞跃的发展,逻辑学在计算机硬件设计和软件处理方面都表现出其重要地位。本课题就是通过对逻辑学在计算机科学方面的分析研究,探讨命题逻辑、谓词逻辑等,以及谓词逻辑应用于人工智能等问题,来研究逻辑学在计算机科学中的应用。     

模糊数学及其在计算机科学中的应用(五)

模糊事件概率、模糊决策及其应用模糊决策是模糊数学的一个基本内容。在决策问题上信息起着重要作用。本文着重介绍模糊信息在决策过程中的作用,并举例说明模糊决策的大致过程。     

模糊数学及其在计算机科学中的应用(四)

模糊语言及模糊数据库的应用一、引言一般地,人们尊重精确、严格和定量的东西,蔑视模糊、不严格和定性的东西。数字计算机的出现使定量方法的使用在许多领域中得到迅速发展,这是很正常的。但是,对于     

离散数学结构及其在计算机科学中的应用(二)

1—2·5 程序设计语言的逻辑功能 这一节,我们讨论某些程序设计语言所采用的逻辑联结词,以及如何使用这些联结词来产生命题公式的真值表。至今我们所讨论的逻辑联结词在大多数程序设计语言中均采用。PL/1中联结词,V和分别写为&,|和。真值T和F分别写作“0”B和“1”B。ALGOL联结词的表示与我们所写的相同,     

离散数学结构及其在计算机科学中的应用(三)

1—2·15 二值器件(设备)与命题逻辑 至今我们所讨论的命题逻辑,称为二值逻辑。因为我们所采用的命题只有“真”或“假”这样的真假值。类似的情况存在于许多电子的与机械的设备,它们称为二值器件(设备)。我们首先给出这种共知的设备的例子,并说明它们与二值逻辑间的联系。     

离散数学结构及其在计算机科学中的应用(四)

1—4 关于命题演算推理的理论 辑逻学的主要作用是提供推理规则或推理法则。与这些规则相关的理论,由于它还涉及到由前提推出结论,所以它称为推理理论。由一组前提出发,通过使用推理中所允许的规则导出结论,这样的导出过程称为演绎法或形式证明。在形式证明中,推导的任何阶段所用的推导规则都是被承认的。在数学文献上,所给出的证明在一般意义上也认为是非形式的,即推导中的许多步骤或者被省略了,或者认为是可理解的。     

计算机科学技术在数据管理中的应用

计算机科学技术对于数据管理工作非常的重要,要想最大程度发挥出各项数据信息的作用,为人类创造出更多的经济效益和社会效益,就必须高效利用计算机软件技术和加强对数据的收集整理以及分析处理工作,这样才能实现庞大数据库的高效科学管理.     

计算机体系结构在计算机科学中的地位

(一) 体系结构是从英文Architecture一词翻译过来的,这个词本来用在建筑学领域,一般译为“建筑术、建筑学、建筑设计、建筑式样、构造、结构”等等。而在本世纪六十年代初期,首先由美国IBM公司的一些设计人员,引入计算机科学领域。当时,他们着手设计IBM 360系列机,就把首先确定的软、硬件设计者共同遵守的规范,称之为计算机体系结构。确定了系列机的体系结构之后,软件设计者就按照它设计软件,硬件设计者就根据它,并按照不同的性能指标,分别设计各档机器。根据所确定的体系结构编制出来的软件,可以不加修改地在各档机器上运行,并且获得相同的结果。这样就实现了,同系列内各档机器间的软件兼容。系列机概念的提出,满足了程序设计者希望软件环境长期稳定的要求。体系结构概     

计算机科学技术在数据管理中的应用

在日常生活以及企业生产经营管理中,产生各种各样的数据。对这些数据进行深入分析,便能够得到各种各样有用的数据,从而提升生活以及管理的质量。计算机科学技术使得高效的数据管理成为可能,已成为大数据时代下非常重要的应用技术。笔者结合自身实际工作经验,探讨计算机技术在数据管理中的应用策略,以推动数据管理效率的持续提升。     

浅谈数理逻辑在计算机科学中的应用

数理逻辑是离散数学课程中研究推理的逻辑学科,它为确定一个给出的论证是否有效提供各种法则和技巧,在计算机科学里用来检验程序的正确性,也可以验证定理和推论,同时在计算机模型、计算机程序设计语言、计算机硬件系统等方面有着重要作用。研究数理逻辑在计算机科学领域中的应用,必须从研究数理逻辑的符号化开始讨论、加以分析、验证结论。     

计算机科学技术在数据管理中的应用

现代计算机科学技术在数据管理中起着关键性的作用.数据管理是利用软件和软件技术对数据进行有效的收集、存储、处理和应用的过程.计算机科学技术在数据管理中的主要目的是充分的发挥数据的作用,实现数据的有效管理.本文主要探讨了计算机科学技术在数据库管理中的应用.