首页 > 知识库 > 正文

可计算性介绍 了解可计算性的详细内容

在计算机科学中,可计算性理论(Computability theory)作为计算理论的一个分支,研究在不同的计算模型下哪些算法问题能够被解决。相对应的,计算理论的另一块主要内容,计算复杂性理论考虑一个问题怎样才能被有效的解决。可计算理论的研究对象有三个 : ( 1) 判定问题; ( 2) 可计算函数;( 3) 计算复杂性。可计算性理论,亦称算法理论或能行性理论,计算机科学的理论基础之一。是研究计算的一般性质的数学理论。可计算性理论通过建立计算的数学模型[2] ,精确区分哪些是可计算的,哪些是不可计算的。计算的过程是执行算法的过程。可计算性理论的重要课题之一,是将算法这一直观概念精确化。算法概念精确化的途径很多,其中之一是通过定义抽象计算机,把算法看作抽象计算机的程序。通常把那些存在算法计算其值的函数叫做可计算函数。因此,可计算函数的精确定义为:能够在抽象计算机上编出程序计算其值的函数。这样就可以讨论哪些函数是可计算的,哪些函数是不可计算的。www.shufadashi.com*�ɼ*�

内容介绍

Preface  My inte

作品目录

概念 可计算性理论是研究计算的一般性质的数学理论,也称算法理论或能行性理论。它通过建立计算的数学模型(例如抽象计算机),精确区分哪些是可计算的,哪些是不可计算的。

Preface

确定性是肯定的。你说的不可计算性可能是指的没有解析的表达式可以描述。像这种例子很多,比如一个匀速运动的物体和一个速度随时间正弦变化的物体同时出发,求再次相遇

Prelimi

设f(x)是这样一个函数:当x为有理数时, f(x)=0当x为无理数时, f(x)=1求∫(0-

我去年刚学过,是关于停机的吧.我加你QQ*www.shufadashi.com*ɼ*�

声明:本网内容旨在传播知识仅供参考,不代表本网赞同其观点,文字及图片版权归原网站所有。

介绍
你可能还关注
热门推荐
今日推荐 更多