Hur används ordet beräkningsbar?
Ackermannfunktionen är ett exempel på en beräkningsbar funktion som inte är primitivt rekursiv.
undrade han och efterlyste en beräkningsbar tabell i vår när de tre ska presentera sin gemensamma budget.
Large eddy simulation (LES) är en numerisk teknik som används inom beräkningsbar strömningsmekanik (CFD) för att simulera turbulent flöde.
Normalt är grundvattenlutningen dock större än noll, varför metoden ovan med en beräkningsbar halvellips med spetsen nedströms istället är tillämpbar.
Chuch visade 1935-36 att det inte finns någon beräkningsbar funktion som visar om två uttryck inom lambdakalkylen är ekvivalenta eller inte.
Not: Ordklasser och siffror hänvisar till synonymordboken överst. Exempelmeningarna kommer i huvudsak från svenska dagstidningar, tidskrifter, romaner, wikipedia och SVT.