Resultats de la cerca
Salta a la navegació
Salta a la cerca
Coincidències de títol de la pàgina
- La '''semàntica formal''' és l'estudi de les [[Interpretació (lògica)|interpretacions]] del ...a un llenguatge formal, es diu que una fórmula '' A '' és una conseqüència semàntica d'un conjunt de fórmules <math>\Gamma </math>, si i només si per a tota int ...2 Ko (258 paraules) - 13:52, 19 ago 2021
- ...nades variables ocultes, igual que en [[Anàlisi semàntica latent|l'anàlisi semàntica latent]], a partir de la qual va evolucionar PLSA.<ref>{{Ref-publicació|art ...osició en valors singulars|descomposició de valors singulars]]), l'anàlisi semàntica latent probabilística es basa en una descomposició de mescles derivada d'un ...5 Ko (736 paraules) - 00:16, 15 oct 2023
- ...i derivació formal de programes". Consisteix en un mètode per a definir la semàntica d'un llenguatge de programació imperativa amb l'assignació a cada comandame A diferència d'altres formalismes semàntics, la semàntica de transformació de predicats no fou resultat de la recerca en centres de c ...4 Ko (539 paraules) - 11:54, 2 abr 2023
Coincidències de text de pàgina
- La '''semàntica formal''' és l'estudi de les [[Interpretació (lògica)|interpretacions]] del ...a un llenguatge formal, es diu que una fórmula '' A '' és una conseqüència semàntica d'un conjunt de fórmules <math>\Gamma </math>, si i només si per a tota int ...2 Ko (258 paraules) - 13:52, 19 ago 2021
- ...nades variables ocultes, igual que en [[Anàlisi semàntica latent|l'anàlisi semàntica latent]], a partir de la qual va evolucionar PLSA.<ref>{{Ref-publicació|art ...osició en valors singulars|descomposició de valors singulars]]), l'anàlisi semàntica latent probabilística es basa en una descomposició de mescles derivada d'un ...5 Ko (736 paraules) - 00:16, 15 oct 2023
- ...i derivació formal de programes". Consisteix en un mètode per a definir la semàntica d'un llenguatge de programació imperativa amb l'assignació a cada comandame A diferència d'altres formalismes semàntics, la semàntica de transformació de predicats no fou resultat de la recerca en centres de c ...4 Ko (539 paraules) - 11:54, 2 abr 2023
- En [[epistemologia]] i [[semàntica]], un '''constructe''', '''[[Objecte (filosofia)|objecte]] conceptual''' o ...7.</ref> Les [[ciència formal|ciències formals]] (la [[matemàtica]] i la [[semàntica]] filosòfica) estudien els constructes i les seves propietats conceptuals c ...3 Ko (399 paraules) - 01:39, 2 nov 2024
- ...mal que constitueixen fórmules ben formades. Tanmateix, no descriu la seva semàntica (és a dir, què volen dir). ...les frases del sistema formal. L'estudi de les interpretacions s'anomena [[semàntica formal]]. ''Donar una interpretació'' és sinònim de ''construir un model.'' ...11 Ko (1.760 paraules) - 00:48, 6 gen 2025
- El principi de doble semàntica afirma que cap proposició és, alhora, vertadera i falsa. Una operació lògic == Semàntica algebraica == ...15 Ko (2.182 paraules) - 11:10, 20 abr 2024
- 2 Ko (341 paraules) - 17:52, 21 gen 2022
- ...l'atac de text pla escollit és equivalent a la propietat de la [[seguretat semàntica]], i moltes proves criptogràfiques utilitzen aquestes definicions de manera * IND-CPA <math>\scriptstyle \Leftrightarrow</math> [[seguretat semàntica]] sota CPA. ...6 Ko (847 paraules) - 19:33, 1 maig 2024
- ...belle]], [[Twelf]] i [[ΛProlog|lambdaProlog]]. Finalment, en la unificació semàntica o e-unificació, la igualtat està subjecta a coneixements de fons i les vari ...'unificació''' '''sintàctica''' o ''lliure'', en cas contrari unificació ''semàntica'' o ''equacional'', o '''unificació E''', o ''unificació mòdul teoria''.<re ...6 Ko (838 paraules) - 21:06, 6 feb 2025
- ...([[xarxes semàntiques]] i frames), aquestes lògiques estan dotades amb una semàntica formal basada en lògica i tenen característiques molt importants com són: ...scripció d'avui en dia s'han convertit en una pedra fonamental de la [[web semàntica]] per al seu ús en el disseny d'[[Ontologia|ontologies]]. ...24 Ko (3.967 paraules) - 18:31, 9 gen 2025
- ...l primer treball extens que suggereix utilitzar modalitats per capturar la semàntica del coneixement en comptes d'utilitzar les premisses aletes amb què típicam ...tica]]. En el mètode basat en la lògica, s'han construït una sintaxi i una semàntica utilitzant el llenguatge de la lògica modal, que es descriu a continuació. ...13 Ko (2.155 paraules) - 11:10, 5 gen 2025
- ...onar significat a les fórmules ben formades del llenguatge. Tanmateix, una semàntica formal no és condició necessària per definir un llenguatge formal, i això é ...9 Ko (1.461 paraules) - 22:53, 2 gen 2024
- ...a]] com [[Internet]], [[Xarxa social|xarxes socials]] o fins i tot [[Xarxa semàntica|xarxes semàntiques]].<ref>{{Ref-publicació|cognom=Steyvers, M.|cognom2=Tene ...3 Ko (516 paraules) - 05:43, 24 set 2024
- Les raons d'aquest paral·lelisme resultaran més clares en la secció de semàntica de mons possibles. === Semàntica === ...25 Ko (4.645 paraules) - 09:06, 6 feb 2025
- ...rials φ i '''''A''''' en lloc de '''''B''''' i '''''E''''' evita la trampa semàntica. Un [[Quadrivector|quatre vector]] invariant de Lorentz ''A''<sup>α</sup> = ...11 Ko (1.827 paraules) - 16:25, 30 des 2024
- ...el que voleu dir"), on el que apareix en pantalla representa l'estructura semàntica de la pàgina i n'és només una aproximació.<ref>{{Ref-web|títol=LyX - Estadi ...3 Ko (551 paraules) - 15:50, 5 juny 2024
- Aquesta divisió inclou l'[[Anàlisi d'algorismes]] i la [[Semàntica Formal]] dels [[llenguatges de programació]]. Hi ha més conjunts d'estudi a ...Computació quàntica]], [[Teoria de nombres]], [[Àlgebra computacional]], [[Semàntica formal]], [[Mètodes Formals]], [[Teoria de la computabilitat]] i l'estudi d ...9 Ko (1.303 paraules) - 20:13, 3 maig 2024
- ...lau es poden calcular, utilitzant els supòsits de la teoria de [[Semblança semàntica|les similituds de documents]], comparant la desviació dels angles entre cad ...4 Ko (669 paraules) - 13:37, 3 març 2024
- Dins d'un [[llenguatge formal]] amb una [[semàntica formal]], una constant lògica és una expressió el significat no varia amb c ...5 Ko (723 paraules) - 22:55, 17 nov 2024
- ...molt abstractes el tractament de les quals es veia complicat a causa d'una semàntica difícil i ineficaç i simbologia (que la notació de [[Gottfried Wilhelm Leib ...4 Ko (695 paraules) - 14:06, 15 juny 2022