« Sémantique » : différence entre les versions
Aucun résumé des modifications Balise : Éditeur de wikicode 2017 |
m (Remplacement de texte : « ↵<small> » par « ==Sources== ») |
||
| (5 versions intermédiaires par le même utilisateur non affichées) | |||
| Ligne 1 : | Ligne 1 : | ||
==Définition== | ==Définition== | ||
En intelligence artificielle la sémantique est le domaine concerné par l'étude mathématique rigoureuse de la signification des langages de programmation. Pour ce faire, il évalue la signification de chaînes syntaxiquement valables définies par un langage de programmation spécifique, indiquant le calcul impliqué. Cela peut être démontré en décrivant la relation entre l'entrée et la sortie d'un programme, ou une explication de la façon dont le programme sera exécuté sur une certaine plateforme, créant ainsi un modèle de calcul. | En intelligence artificielle la sémantique est le domaine concerné par l'étude mathématique rigoureuse de la signification des langages de programmation. Pour ce faire, il évalue la signification de chaînes syntaxiquement valables définies par un langage de programmation spécifique, indiquant le calcul impliqué. Cela peut être démontré en décrivant la relation entre l'entrée et la sortie d'un programme, ou une explication de la façon dont le programme sera exécuté sur une certaine plateforme, créant ainsi un modèle de calcul. | ||
==Français== | ==Français== | ||
'''sémantique''' | '''sémantique''' | ||
==Anglais== | ==Anglais== | ||
'''Semantics''' (computer science) | '''Semantics''' (computer science) | ||
==Sources== | |||
[https://en.wikipedia.org/wiki/Semantics_(computer_science) Source: Wikipedia, ''Semantics (Computer science)''.] | |||
[[Category:Intelligence artificielle]] | |||
[[Catégorie:GRAND LEXIQUE FRANÇAIS]] | |||
[ | |||
Dernière version du 28 janvier 2024 à 14:09
Définition
En intelligence artificielle la sémantique est le domaine concerné par l'étude mathématique rigoureuse de la signification des langages de programmation. Pour ce faire, il évalue la signification de chaînes syntaxiquement valables définies par un langage de programmation spécifique, indiquant le calcul impliqué. Cela peut être démontré en décrivant la relation entre l'entrée et la sortie d'un programme, ou une explication de la façon dont le programme sera exécuté sur une certaine plateforme, créant ainsi un modèle de calcul.
Français
sémantique
Anglais
Semantics (computer science)
Sources
Contributeurs: Claude Coulombe, Jacques Barolet, wiki
