« Sémantique » : différence entre les versions


Aucun résumé des modifications
Balise : Éditeur de wikicode 2017
Aucun résumé des modifications
Balise : Éditeur de wikicode 2017
Ligne 1 : Ligne 1 :
[[Category:Vocabulary]]
 
[[Category:Intelligence artificielle]]
[[Category:Intelligence artificielle]]
<!-- Coulombe -->
[[Catégorie:GRAND LEXIQUE FRANÇAIS]]
<!-- Coulombe -->
[[Category:scotty]]
[[Category:9]]


==Définition==
==Définition==
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==
Ligne 13 : Ligne 10 :


==Anglais==
==Anglais==
'''Semantics''' (computer science)


'''Semantics''' (computer science)




<small>
<small>


[https://en.wikipedia.org/wiki/Semantics_(computer_science) Source: Wikipedia, ''Semantics (Computer science)''.]
[https://en.wikipedia.org/wiki/Semantics_(computer_science) Source: Wikipedia, ''Semantics (Computer science)''.]

Version du 24 septembre 2019 à 17:39


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 n.f.

Anglais

Semantics (computer science)


Source: Wikipedia, Semantics (Computer science).