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


Aucun résumé des modifications
Balise : Éditeur de wikicode 2017
m (Remplacement de texte : « ↵<small> » par «  ==Sources== »)
 
(15 versions intermédiaires par 2 utilisateurs non affichées)
Ligne 1 : Ligne 1 :
[[Category:Vocabulary]]<br/>
==Définition==
[[Category:Intelligence artificielle]]
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.  
[[Category:Coulombe]]<br/>
[[Category:scotty]]
 
== Définition ==
La sémantique est l'étude du sens, en philosophie, en linguistique, dans les langages de programmation, en logique formelle et en sémiotique. La sémantique s'intéresse entre autres à la relation entre les signifiés qui sont des représentations mentales - comme les mots, les phrases, les signes et les symboles - et ce qu'ils représentent dans la réalité.
 
En théorie des langages de programmation, la sémantique est le domaine concerné par l'étude mathématique rigoureuse du sens dans les langages de programmation.
 
== Français ==
'''sémantique'''


== Anglais ==
==Français==
'''sémantique''' 


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


==Sources==


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


 
[[Category:Intelligence artificielle]]
[https://en.wikipedia.org/wiki/Semantics  Source : Wikipedia ]
[[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

Source: Wikipedia, Semantics (Computer science).