Résultats de la recherche
Aller à la navigation
Aller à la recherche
Correspondances dans les titres des pages
- {{Article général|Sémantique des langages de programmation}} ...une manière rigoureuse, [[Mathématiques|mathématiquement]] parlant (voir [[Sémantique des langages de programmation]]). ...5 kio (793 mots) - 21 décembre 2023 à 21:56
- Un '''encodage sémantique''' est une traduction entre deux [[langage formel|langages formels]]. ...3 kio (463 mots) - 1 janvier 2020 à 23:07
- La '''sécurité sémantique''' est une [[Niveaux d'attaques|notion de sécurité]] importante dans le cad La sécurité sémantique traduit formellement le fait qu’il doit être difficile de retrouver de l’[[ ...7 kio (1 013 mots) - 27 mai 2024 à 02:19
- ...que des langues|traitement des langues naturelles]], dans le cadre de la [[sémantique vectorielle]]. La LSA fut brevetée en [[1988 en science|1988]]<ref>{{en}} [ Cette matrice est courante dans les modèles sémantiques standards, comme le [[Sémantique vectorielle|modèle vectoriel]], quoique sa forme matricielle ne soit pas sy ...16 kio (2 514 mots) - 18 avril 2024 à 15:37
- En [[logique mathématique]], la '''sémantique de Kripke''' est une sémantique formelle utilisée pour les logiques non-classiques comme la [[logique intui == Sémantique des logiques modales normales == ...26 kio (4 485 mots) - 19 mars 2025 à 00:24
- ...méthode de [[traitement automatique des langues]] inspirée de l'[[analyse sémantique latente]]. Comparée à l'[[analyse sémantique latente]] simple, qui découle de l'[[algèbre linéaire]] pour réduire les ma ...4 kio (624 mots) - 9 mai 2018 à 00:45
- ...au côté de la terminaison de programme et de la sémantique bien fondée. La sémantique du modèle stable est à la base du [[langage de programmation]] déclarative Les recherches sur la sémantique déclarative de la négation en programmation logique ont été motivées par un ...32 kio (5 423 mots) - 28 février 2025 à 05:32
- {{confusion|Web sémantique}} En [[informatique théorique]], la '''sémantique formelle''' (des [[Langage de programmation|langages de programmation]]) es ...7 kio (1 094 mots) - 25 août 2023 à 10:44
Correspondances dans le texte des pages
- {{Article général|Sémantique des langages de programmation}} ...une manière rigoureuse, [[Mathématiques|mathématiquement]] parlant (voir [[Sémantique des langages de programmation]]). ...5 kio (793 mots) - 21 décembre 2023 à 21:56
- == Sémantique == La sémantique est que les marques doivent rester dans la place <math>p_i</math> au moins ...2 kio (407 mots) - 2 avril 2013 à 08:04
- {{confusion|Web sémantique}} En [[informatique théorique]], la '''sémantique formelle''' (des [[Langage de programmation|langages de programmation]]) es ...7 kio (1 094 mots) - 25 août 2023 à 10:44
- * Toutes les instances du [[Sémantique de Kripke|schéma de Kripke]]: <math>\Box(A\to B)\to(\Box A\to\Box B)</math> ...modaux normaux communs. La notation se réfère à la [[Sémantique de Kripke|sémantique de Kripke § schéma d'axiome modale commun]]. les conditions de cadres pour ...2 kio (379 mots) - 19 juillet 2024 à 07:57
- ...méthode de [[traitement automatique des langues]] inspirée de l'[[analyse sémantique latente]]. Comparée à l'[[analyse sémantique latente]] simple, qui découle de l'[[algèbre linéaire]] pour réduire les ma ...4 kio (624 mots) - 9 mai 2018 à 00:45
- == Sémantique par complétion == La sémantique de la négation par l'échec est restée un [[problème ouvert]] jusqu'à ce que ...7 kio (1 163 mots) - 2 mars 2025 à 23:35
- {{ébauche | Web sémantique}} ...WRL''' (Semantic Web Rule Language) est un langage de règles pour le [[web sémantique]], combinant le langage [[OWL-DL]] et le langage RuleML (Rule Markup Langua ...4 kio (663 mots) - 29 août 2024 à 14:44
- == Argument sémantique en logique classique == ...> (puisqu'il n'en existe pas). Ainsi <math>\psi</math> est une conséquence sémantique de <math>\{\phi , \lnot \phi \}</math>. ...7 kio (969 mots) - 29 octobre 2024 à 12:51
- La [[Sémantique formelle (logique)|sémantique]] (autrement dit la signification) de la logique classique se fait par des Les [[Sémantique de Kripke|modèles de Kripke]] sont essentiels pour comprendre la différence ...6 kio (1 054 mots) - 18 septembre 2023 à 17:53
- ...que|syntaxique]] et un aspect [[Logique mathématique#Syntaxe et sémantique|sémantique]]. ...[[tiers exclu]] est ou non satisfaite.</ref>, au besoin complétées par une sémantique. ...21 kio (2 846 mots) - 19 juillet 2024 à 07:34
- |[[Tautologie (logique)|Tautologie]]. Notion sémantique ...1 kio (215 mots) - 19 juillet 2024 à 18:44
- == Sémantique == Pour définir cette sémantique, observons tout d'abord que chaque règle <math>r\in P</math> de la forme <m ...5 kio (869 mots) - 16 mai 2023 à 05:03
- La '''sécurité sémantique''' est une [[Niveaux d'attaques|notion de sécurité]] importante dans le cad La sécurité sémantique traduit formellement le fait qu’il doit être difficile de retrouver de l’[[ ...7 kio (1 013 mots) - 27 mai 2024 à 02:19
- == Sémantique des valeurs réelles == ...5 kio (777 mots) - 19 juillet 2024 à 07:56
- ...les opérateurs temporels. CTL* est de ce fait une logique arborescente. La sémantique des formules CTL* repose sur une [[structure de Kripke]]. == Sémantique == ...8 kio (1 324 mots) - 25 avril 2022 à 21:20
- ...lier, la [[Variété (algèbre)|variété]] de toutes algèbres modales est la [[sémantique algébrique]] équivalentes de la logique modale ''K'' dans le sens de la [[l ...1 kio (233 mots) - 18 mai 2022 à 22:55
- {{ébauche|Web sémantique}} OWL permet, grâce à sa sémantique formelle basée sur une fondation logique largement étudiée, de définir des ...13 kio (2 112 mots) - 15 janvier 2025 à 08:52
- ...décrire rigoureusement la [[sémantique des langages de programmation]] ([[sémantique axiomatique]]). == Correction et complétude vis-à-vis d'une sémantique opérationnelle == ...14 kio (2 303 mots) - 24 janvier 2025 à 15:10
- En [[logique mathématique]], la '''sémantique de Kripke''' est une sémantique formelle utilisée pour les logiques non-classiques comme la [[logique intui == Sémantique des logiques modales normales == ...26 kio (4 485 mots) - 19 mars 2025 à 00:24
- === Sémantique === .... Dit autrement il n'y a pas d'axiomatisation satisfaisante pour une telle sémantique. ...10 kio (1 450 mots) - 1 février 2025 à 18:13