computation

Computation is any type of calculation that follows a well-defined model understood and expressed as, for example, an algorithm, or a protocol.

De theoretische informatica is een vorm van informatica die zich bezighoudt met formele talen (dat wil zeggen automaten-, berekenbaarheids- en complexiteitstheorie), logica (onder andere propositielogica en predicatenlogica) en formele semantiek en biedt hiermee een theoretische fundering voor het maken van compilers van programmeertalen en de wiskundige formalisering van probleemstellingen. Ze is daarmee het formele fundament onder de informatica.

Le mot calcul vient du latin calculus (« caillou »). Il est dit que les bergers comptabilisaient leurs moutons avec des cailloux dans un pot à l’entrée et à la sortie de la bergerie. Ces objets pouvaient aussi être façonnés en argile sous la forme de demi-sphère, de sphères, de conoïdes et pouvaient figurer des animaux domestiques.