Semantique

См. также в других словарях:

• SÉMANTIQUE — «La sémantique, ou comment s’en débarrasser»: jusqu’à une époque récente, l’étude du sens était volontiers considérée comme constituant pour la linguistique une sorte de rejeton indésirable, au nom sans doute de ce réalisme naïf «qui porte à… …   Encyclopédie Universelle

• Semantique — Sémantique Linguistique Disciplines : Phonétique Phonologie Morphologie Syntaxe Lexicologie …   Wikipédia en Français

• Sémantique — La sémantique est une branche de la linguistique qui étudie les signifiés. Le mot sémantique est dérivé du grec σημαντικός (semantikos), « signifié » lui même formé à partir de σημαίνω (semaino), « signifier, indiquer » ou… …   Wikipédia en Français

• Semantique generale — Sémantique générale La sémantique générale, système de pensée présenté par son auteur comme « non aristotélicien », a été fondée par Alfred Korzybski après qu il ait pris conscience, au cours de la première guerre mondiale, que les… …   Wikipédia en Français

• Sémantique Générale — La sémantique générale, système de pensée présenté par son auteur comme « non aristotélicien », a été fondée par Alfred Korzybski après qu il ait pris conscience, au cours de la première guerre mondiale, que les mécanismes de pensée qui …   Wikipédia en Français

• Semantique de Kripke — Sémantique de Kripke La sémantique de Kripke a été proposée par Saul Aaron Kripke et est la sémantique traditionnellement associée à la logique intuitionniste et aux logiques modales. Elle est fondée sur un univers de mondes possibles, c est à… …   Wikipédia en Français

• Semantique des langages de programmation — Sémantique des langages de programmation En informatique théorique, la sémantique formelle (des langages de programmation) est l’étude de la signification des programmes informatiques vus en tant qu’objets mathématiques. Sommaire 1 Lien avec la… …   Wikipédia en Français

• Sémantique de kripke — La sémantique de Kripke a été proposée par Saul Aaron Kripke et est la sémantique traditionnellement associée à la logique intuitionniste et aux logiques modales. Elle est fondée sur un univers de mondes possibles, c est à dire que le modèle qui… …   Wikipédia en Français

• Semantique axiomatique — Sémantique axiomatique La sémantique axiomatique est une approche basée sur la logique mathématique qui sert à prouver qu un programme informatique est correct. Sommaire 1 L idée 2 Le langage : la logique de Hoare 3 Preuves …   Wikipédia en Français

• Semantique denotationnelle — Sémantique dénotationnelle En informatique, la sémantique dénotationnelle est une des approches permettant de formaliser la signification d un programme en utilisant les mathématiques. Parmi les autres approches, on trouve la sémantique… …   Wikipédia en Français

• Semantique operationnelle — Sémantique opérationnelle En informatique, la sémantique opérationnelle est l une des approches qui servent à donner une signification aux programmes informatiques d une manière rigoureuse, mathématiquement parlant (voir Sémantique des langages… …   Wikipédia en Français