« Sémantique » : différence entre les versions
m (Remplacement de texte : « ↵<small> » par «  ==Sources== »)
 
(22 versions intermédiaires par 3 utilisateurs non affichées)
Ligne 1 : Ligne 1 :
==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.


== Domaine ==
==Français==
[[Category:Vocabulary]]
'''sémantique''' 
== 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 signifiants - comme les mots, les phrases, les signes et les symboles - et ce qu'ils représentent dans la réalité.
==Anglais==
'''Semantics''' (computer science)


== Français ==
==Sources==
sémantique


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


=== Semantics (computer science) ===
[[Category:Intelligence artificielle]]
In programming language theory, semantics is the field concerned with the rigorous mathematical study of the meaning of programming languages. It does so by evaluating the meaning of syntactically legal strings defined by a specific programming language, showing the computation involved. In such a case that the evaluation would be of syntactically illegal strings, the result would be non-computation. Semantics describes the processes a computer follows when executing a program in that specific language. This can be shown by describing the relationship between the input and output of a program, or an explanation of how the program will execute on a certain platform, hence creating a model of computation.
[[Catégorie:GRAND LEXIQUE FRANÇAIS]]
 
Formal semantics, for instance, helps to write compilers, better understand what a program is doing and to prove, e.g., that the following if stateme
 
<br/>
<br/>
<br/>
<br/>
<br/>
<br/>
<br/>

Dernière version du 28 janvier 2024 à 13: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).

Récupérée de « https://datafranca.org/wiki/index.php?title=Sémantique&oldid=92687 »

Contributeurs: Claude Coulombe, Jacques Barolet, wiki