« 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 3 : Ligne 3 :
[[Category:Vocabulary]]<br/>
[[Category:Vocabulary]]<br/>
[[Category:Intelligence artificielle]]Intelligence artificielle<br/>
[[Category:Intelligence artificielle]]Intelligence artificielle<br/>
[[Category:Coulombe]]Coulombe<br/>
[[Category:Coulombe]]<br/>
[[Category:scotty]]


== Définition ==
== Définition ==
Ligne 11 : Ligne 12 :
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.
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.


Source:<br/>
== Français ==
 
'''sémantique'''


Traduction et adaptation libre de l'article de Wikipédia en anglais<br/>
https://en.wikipedia.org/wiki/Semantics<br/>


== Français ==
sémantique


== Anglais ==
== Anglais ==


''' Semantics (computer science) '''
'''Semantics''' (computer science)  


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.


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

Version du 1 juin 2019 à 08:09

Domaine


Intelligence artificielle

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

Semantics (computer science)



Source : Wikipedia

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

Contributeurs: Claude Coulombe, Jacques Barolet, wiki