Théorie du calcul

Définition

La théorie du calcul est la branche qui traite de la manière dont les problèmes peuvent être résolus efficacement sur un modèle de calcul, à l’aide d’un algorithme.

Le champ est divisé en trois branches principales : la théorie des automates et des langues, la théorie de la calculabilité et la théorie de la complexité de calcul, qui sont liées par la question : « Quelles sont les capacités et limitations fondamentales des ordinateurs ? ».

NOTE : à ne pas confondre théorie du calcul avec théorie de la calculabilité (qui est un sous-ensemble de la théorie du calcul).

Français

Théorie du calcul

Anglais

Calculation theory

Theory of computation

Source : 24pm academie

Source : Wikipedia