Resultados de la búsqueda
Ir a la navegación
Ir a la búsqueda
Resultados por título de página
- …o|apellidos=Martí|nombre=María Antonia|título=Lexicografía computacional y semántica|año=2003|editorial=Edicions Universitat Barcelona|isbn=978-84-8338-405-3|pá * [[Sinonimia (semántica)|sinonimia]] / [[antónimo|antonimia]] …2 kB (298 palabras) - 12:44 17 jul 2021
- La '''semántica formal''' es el estudio de las [[Interpretación (lógica)|interpretaciones]] …para un lenguaje formal, se dice que una fórmula ''A'' es una consecuencia semántica de un conjunto de fórmulas <math>\Gamma</math>, si y sólo si para toda inte …4 kB (676 palabras) - 00:29 13 ago 2024
- …memory | idioma=inglés | fechaacceso=9 de mayo de 2011}}</ref> La memoria semántica y la [[memoria episódica]] conforman la categoría de [[memoria declarativa] La memoria semántica incluye a todos aquellos conocimientos generales que no implican el recuerd …59 kB (9432 palabras) - 04:58 24 ago 2024
- La '''indexación semántica latente''' ('''ISL''') es un método de indexación y recuperación que utiliz *Guillermo de Jorge Botana. Introducción al análisis de la semántica latente y detalles para la ciencia cognitiva. [[Editorial Garceta]], 2022. …11 kB (1833 palabras) - 13:07 18 ene 2024
- …y derivación formal de programas"). Consiste en un método para definir la semántica de un [[Programación imperativa|lenguaje de programación imperativa]] media A diferencia de otros formalismos semánticos, la semántica de transformación de predicados no fue fruto de la investigación realizada …4 kB (626 palabras) - 09:09 8 abr 2024
Resultados por texto de página
- En [[semántica]] filosófica, la '''designación''' es la relación entre [[Símbolo|símbolos] [[Categoría:Semántica]] …999 bytes (142 palabras) - 21:55 9 jul 2019
- …o|apellidos=Martí|nombre=María Antonia|título=Lexicografía computacional y semántica|año=2003|editorial=Edicions Universitat Barcelona|isbn=978-84-8338-405-3|pá * [[Sinonimia (semántica)|sinonimia]] / [[antónimo|antonimia]] …2 kB (298 palabras) - 12:44 17 jul 2021
- La '''semántica formal''' es el estudio de las [[Interpretación (lógica)|interpretaciones]] …para un lenguaje formal, se dice que una fórmula ''A'' es una consecuencia semántica de un conjunto de fórmulas <math>\Gamma</math>, si y sólo si para toda inte …4 kB (676 palabras) - 00:29 13 ago 2024
- Se dice que una [[fórmula bien formada]] <math>\tau</math> es consecuencia semántica de un conjunto de fórmulas <math>\Gamma</math> si y solo si toda asignación === Consecuencia semántica === …3 kB (562 palabras) - 14:03 5 nov 2024
- …ica]]" (trinquete en), "[[Teoría de modelos|modelo de]]", "es consecuencia semántica de" o en inglés ''"is stronger than"'' (es más fuerte que).<ref>{{Cita libr * Expresando [[consecuencia lógica]] (semántica), con un conjunto de sentencias de izquierda y una sola frase a la derecha, …2 kB (380 palabras) - 22:12 10 jul 2019
- En [[metalógica]], la '''completitud''' o '''completud semántica''' es la propiedad metateórica que tienen los [[sistemas formales]] cuando …una de esas dos fórmulas es una verdad lógica, no afectan a la completitud semántica del sistema. …3 kB (472 palabras) - 10:47 22 ago 2024
- …emántica denotacional|semántica]] [[Semántica operacional|operativa]] y la semántica algebraica se pueden combinar en un marco unificado para la [[especificació La base semántica de la UTP es el [[Lógica de primer orden|cálculo de predicados de primer or …6 kB (977 palabras) - 21:08 15 oct 2024
- …y otros componentes, estas herramientas hacen posible el proyecto de [[web semántica]]. [[Categoría:Web semántica]] …2 kB (361 palabras) - 02:33 2 jun 2020
- …y derivación formal de programas"). Consiste en un método para definir la semántica de un [[Programación imperativa|lenguaje de programación imperativa]] media A diferencia de otros formalismos semánticos, la semántica de transformación de predicados no fue fruto de la investigación realizada …4 kB (626 palabras) - 09:09 8 abr 2024
- …dadas''', es un modelo de lenguaje definido por [[Edsger Dijkstra]] para [[semántica de transformación de predicados]] (una extensión lógica diseñada para propo === [[Semántica]] === …7 kB (1160 palabras) - 09:08 8 abr 2024
- …to que constituyen las fbfs Sin embargo, no describe su [[Semántica formal|semántica]]. {{AP|Semántica formal}} …6 kB (910 palabras) - 14:10 3 ene 2024
- === Semántica === …5 kB (769 palabras) - 15:00 16 may 2024
- …a veces, por su [[semántica lógica]]. Las lógicas de orden superior con su semántica estándar son más expresivas, pero sus propiedades son menos adecuadas que… == Semántica == …10 kB (1549 palabras) - 14:33 13 feb 2025
- En [[epistemología]] y [[semántica]], un '''constructo''', '''[[objeto (filosofía)|objeto]] conceptual''' u '' Las [[ciencias formales]] (la [[matemática]] y la [[semántica]] filosófica) estudian los constructos y sus propiedades conceptuales como …4 kB (532 palabras) - 04:46 28 sep 2023
- …sideraciones prácticas, y uno puede construir gramáticas de acuerdo con la semántica informal dada. Las propiedades prácticas del modelo son similares a las de …4 kB (630 palabras) - 20:50 8 oct 2020
- == Semántica categórica == …6 kB (823 palabras) - 05:18 14 abr 2024
- …ue el primero es más propenso a sufrir ambigüedades debido al componente [[Semántica lingüística|semántico]] que este conlleva. Por ejemplo, en ''"Un coche es… * [[Semántica]] en [[wikipedia:Portada|Wikipedia en Español]] …6 kB (903 palabras) - 01:11 29 ago 2024
- …mbargo en este trabajo la exposición se limita a la presentación puramente semántica de algunas de tales lógicas. …e publicada en 1920 por [[Jan Łukasiewicz|Jan Lukasiewicz]]. En su versión semántica los conectivos fundamentales son: negador(¬), conjunción (^) , disyunción… …12 kB (1978 palabras) - 21:23 8 ago 2024
- …iva, un ''aparato deductivo'' debe ser definido sin referencia a ninguna [[semántica formal|interpretación pretendida]] del lenguaje. El objetivo es garantizar …2 kB (293 palabras) - 06:19 21 ago 2020
- …de la [[Antinomia|paradoja lógica]] a la luz de la [[Semántica lingüística|semántica]] de la [[lógica clásica]]. En este marco, Varzi señaló que la argumentació …5 kB (783 palabras) - 10:31 21 dic 2023