Ordbogsopslag

beregnelighed  [recursion theory]

Emneområde inden for datalogi og filosofi hvor man studerer, hvilke problemer der principielt kan løses af en automatisk udført beregningsprocedure, fx en algoritme udført af en computer. Se også: målbar, umålbar og Turingmaskine.

Synonym:

komputabilitetsteori  [computability theory]

Klynge:

BDI-discipliner og tilgrænsende fag

Sidst ændret:  19.04.2018