tft每日頭條

 > 知識

 > 什麼是可計算性

什麼是可計算性

知識 更新时间:2025-02-09 13:15:35

  所謂可計算性,亦稱算法理論或能行性理論,是計算機科學的理論基礎之一。

  可計算性通過建立計算的數學模型 ,精确區分哪些是可計算的,哪些是不可計算的。計算的過程是執行算法的過程。可計算性理論的重要課題之一,是将算法這一直觀概念精确化。算法概念精确化的途徑很多,其中之一是通過定義抽象計算機,把算法看作抽象計算機的程序。通常把那些存在算法計算其值的函數叫做可計算函數。

  因此,可計算性的精确定義為:能夠在抽象計算機上編出程序計算出值的特征。

更多精彩资讯请关注tft每日頭條,我们将持续为您更新最新资讯!

查看全部

相关知識资讯推荐

热门知識资讯推荐

网友关注

Copyright 2023-2025 - www.tftnews.com All Rights Reserved