Résultats de la recherche

{{confusion|Web sémantique}} En [[informatique théorique]], la '''sémantique formelle''' (des [[Langage de programmation|langages de programmation]]) es ...

{{é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 ...

== 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>. ...

...12148/bpt6k110843d/f1}} {{gallica}}, notamment l'appendice intitulé {{lien web | titre = ''Précis de logique classique''| url = https://gallica.bnf.fr/ark La [[Sémantique formelle (logique)|sémantique]] (autrement dit la signification) de la logique classique se fait par des ...

{{ébauche|Web sémantique}} ...n web |site=w3c.org|url=http://www.w3.org/TR/owl2-new-features|titre=OWL 2 Web Ontology Language ...

...mbole (logique)|symboles]] et des mots d'un langage, par opposition à la [[sémantique]] d'une langue qui concerne sa signification. La syntaxe n'a rien à voir av ...ation. Comme dans la [[logique mathématique]], elle est indépendante de la sémantique et de l'interprétation. ...

...t des [[réseau sémantique|réseaux sémantiques]], qui ne possédaient pas de sémantique formelle basée sur la logique. ...uels on associe des concepts aux nœuds et des relations aux arcs, et de la sémantique des cadres de [[Marvin Minsky|Minsky]] ([[#Références|ref]]) où l'on a des ...

...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 ...

...coming/Street/conspectus.ps|consulté le=2022-08-02}}</ref>{{,}}<ref>{{Lien web |langue=en |auteur=John Baez |titre=Week 200 |url=https://math.ucr.edu/home ...Computer Science '''2030''' (2001), 1–24.</ref>, un lien entre algèbre et sémantique qui constitue aujourd'hui un domaine de recherche actif. ...

...Goldwasser]] et [[Silvio Micali]] pour définir formellement la [[sécurité sémantique]] du chiffrement à clé publique<ref>{{Article|langue=anglais|auteur1=|préno ...es.pdf|site=crypto.stanford.edu|date=|consulté le=}}</ref>{{,}}<ref>{{Lien web|langue=anglais|auteur1=Mihir Bellare|titre=Modern Cryptography|url=http://c ...

...e une conséquence de certaines prémisses ?}}<ref name="sep" >{{en}} {{Lien web|auteur= Beall, JC and Restall, Greg|url=http://plato.stanford.edu/archives/ ...prémisses sont elles aussi vraies<ref name="iep">{{en}} {{Langue|en|{{Lien web|auteur=[[Matthew McKeon]]|titre=Logical Consequence|url=http://www.iep.utm. ...

...e des étiquettes de transitions, ceci dans le cadre de la définition de la sémantique du μ-calcul modal {{sfn|Clarke|Grumberg|Peled|1999|p=98}}. * [[Sémantique de Kripke]] ...

...uée pour conduire à du code difficile à lire et sous-performant<ref>{{Lien web |langue=en |auteur=Oleg Kiselyov |titre=An argument against call/cc |url=ht ...amme en déroutant l'exécution vers une continuation enregistrée<ref>{{Lien web |langue=en |titre=setjmp(3) - Linux manual page |url=https://man7.org/linux ...

...7.cfm|site=amturing.acm.org|consulté le=2018-08-24}}</ref>{{,}}<ref>{{Lien web|langue=anglais|nom1=Association for Computing Machinery (ACM)|titre=ACM Tur ...pratique : il est bien moins efficace que les alternatives et la sécurité sémantique seule est insuffisante pour de nombreuses applications. ...

== Sémantique == ...logik/oclc/601568391|consulté le=2018-09-21}}.</ref>. ASP est fondé sur la sémantique des modèles stables de [[programmation logique]]. En ASP, la résolution de ...

...e]] et [[linguistique]]. Il a été proposé par [[Gottlob Frege]]<ref>{{Lien web|titre=Biographie de Gottlob Frege|url=https://www.bibmath.net/bios/index.ph * la ''[[Sémantique axiomatique|sémantique]]'' interprète ces énoncés comme exprimant des relations entre les éléments ...

...logiciel libre [[GNU Privacy Guard]]<ref name=rfc4880 >''RFC4880'', {{Lien web|titre=OpenPGP Message Format|url=https://tools.ietf.org/html/rfc4880|lang=e ...ion de Diffie-Hellmann]] (ou ''DDH'') qui permet de garantir la [[sécurité sémantique]] du schéma. ...

...μ-Calculus}}'', pp. viii-x et chapitre 6.</ref>. La [[Logique du dialogue|sémantique des jeux]] du mu-calcul est liée aux [[Théorie des jeux|jeux]] à deux joueu ...iwiński, ''{{Langue|en|Rudiments of μ-Calculus}}'', p. 14.</ref> ; voir la sémantique dénotationnelle plus bas pour plus de détails. ...

...ur1=D. Bonnay|auteur2=Mikael Cozic|titre=Introduction à la logique et à la sémantique formelle|url=http://mikael.cozic.free.fr/CogQR.pdf |format=pdf |site=Mikael ...autologie]] <math>\top</math> qui est toujours vraie<ref name=":02">{{Lien web|langue=fr|format=pdf|auteur1=Géraud Sarrebourse de la Guillonnière|titre=Lo ...

...[logique modale|logiques modales]] et la [[logique intuitionniste]] (cette sémantique de la logique intuitionniste traduite en fonction de valeurs de vérité en a ...euve de ''B''. La [[réalisabilité]] est une contrepartie formelle de cette sémantique informelle. ...