« Théorie du calcul » : différence entre les versions

Dernière version du 28 janvier 2024 à 14:55

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

Sources

Source : 24pm academie

Source : Wikipedia

@@ Ligne 1 : / Ligne 1 : @@
-==en construction==
-[[Catégorie:Vocabulaire]]
-[[Catégorie:Intelligence artificielle]]
-[[Catégorie:24pm]]
 ==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.
+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 langues, c la théorie de omputability, et la théorie de la complexité de calcul, qui sont liés par la question: « Quels sont les fondamentaux chapeau capacités et limitations d'ordinateurs ».
-Afin de réaliser une étude rigoureuse du calcul, les informaticiens travaillent avec une abstraction mathématique d’ordinateurs appelée modèle de calcul. Plusieurs modèles sont utilisés, mais le plus couramment examiné est la machine de Turing.
+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 ? ».
-Les informaticiens étudient la machine de Turing, car il est simple à formuler, peuvent être analysées et utilisées pour pro cinq résultats et Beca l’utiliser représente ce que beaucoup considèrent comme le modèle « raisonnable » possible le plus puissant de calcul (voir Thèse de Church).  Il peut sembler que la capacité mémoire potentiellement infinie est un attribut irréalisables, mais tout décidable problème  résolu par une machine de Turing toujours besoin d’o eul une quantité finie de mémoire. Donc, en principe, tout problème pouvant être résolu par une machine de Turing peut être résolu par un ordinateur disposant d'une mémoire limitée.
+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'''    <small> nom ou locution nominale, genre </small>
+'''Théorie du calcul'''
 ==Anglais==
-'''XXXXXXX'''
+'''Calculation theory'''
+'''Theory of computation'''
-<small>
+==Sources==
 [https://www.24pm.com/117-definitions/523-theorie-du-calcul  Source : 24pm academie]
+[https://en.wikipedia.org/wiki/Theory_of_computation  Source : Wikipedia ]
+[[Catégorie:GRAND LEXIQUE FRANÇAIS]]