Théorie du Calcul

discipline

branche de la logique mathématique et de l'informatique théorique

La théorie du calcul est une branche de l'informatique théorique qui traite des problèmes pouvant être résolus en utilisant des algorithmes, sur un modèle de calcul spécifique. Elle s'intéresse particulièrement à l’efficacité avec laquelle ils peuvent être résolus et dans quelle mesure (par exemple à l’efficacité de solutions approchées par rapport aux solutions exactes).

Propriétés