Resultados de la búsqueda
Para más opciones de búsqueda, vea Ayuda:Búsqueda.
Si consideras que este artículo debería existir, conoces nuestros pilares, dispones de fuentes fiables y sabes indicarlas como referencias, puedes crearlo, opcionalmente usando nuestro asistente.
- programación lógica es la descomposición de programas en sus componentes lógicos y sus componentes de control. Con lenguajes de programación lógica de bajo…9 kB (1155 palabras) - 12:04 25 abr 2024
- Una lógica de primer orden, también llamada lógica predicativa, lógica de predicados o cálculo de predicados, es un sistema formal diseñado para estudiar…44 kB (5606 palabras) - 15:56 13 feb 2024
- lógica matemática, también llamada lógica simbólica, lógica teorética, lógica formal o logística,[1] es el estudio formal y simbólico de la lógica,…32 kB (5266 palabras) - 02:51 12 may 2024
la lógica de primer orden y la lógica modal. La lógica informal se enfoca en el desarrollo lingüístico de los razonamientos y sus falacias. La lógica computacional…38 kB (8727 palabras) - 19:54 19 may 2024- La lógica difusa (también llamada lógica borrosa (en inglés: fuzzy logic)) es una lógica paraconsistente multivaluada en la cual los valores de verdad…26 kB (3384 palabras) - 20:04 4 ene 2024
Un lenguaje de programación es un lenguaje formal (o artificial, es decir, un lenguaje con reglas gramaticales bien definidas) que proporciona a una persona…54 kB (7025 palabras) - 15:50 7 may 2024- ejemplos más comunes de lógicas clásicas son la lógica proposicional, la lógica de primer orden y la lógica de segundo orden. Las lógicas clásicas son los sistemas…3 kB (2207 palabras) - 00:11 8 abr 2024
es un lenguaje experimental de programación en lógica funcional, basado en el lenguaje Haskell, que combina elementos de programación funcional y programación…1 kB (109 palabras) - 03:41 17 jul 2023- lógica es el área de la filosofía que estudia el alcance y la naturaleza de la lógica. Investiga los problemas filosóficos planteados por la lógica,…103 kB (13 090 palabras) - 11:24 25 nov 2023
- una lógica de descripción es la capacidad para representar “conocimiento” acerca del dominio y depende de la riqueza de su lenguaje. El lenguaje de la…25 kB (3266 palabras) - 15:37 29 abr 2024
- Gödel es un lenguaje de programación declarativo, de propósito general, adherido al paradigma de la programación lógica. Es un lenguaje fuertemente tipado…3 kB (326 palabras) - 23:13 29 mar 2022
- Ayer, Alfred Jules. Lenguaje, verdad y lógica. Ayer, Alfred Jules (1999). Positivismo lógico. Carnap, Rudolf. La estructura lógica del mundo. Carnap…31 kB (4282 palabras) - 10:49 17 may 2024
- En lógica, existen muchas concepciones diferentes de la noción de predicado según el contexto y la tradición. En lógica tradicional el predicado es uno…21 kB (2763 palabras) - 00:20 16 feb 2024
- La lógica proposicional, también llamada lógica de enunciados, lógica de orden cero o cálculo proposicional, es un sistema formal cuyos elementos más simples…43 kB (5302 palabras) - 05:27 7 may 2024
el resultado de la conjunción lógica a y b. Si declaraciones en un lenguaje formal representan proposiciones en lógica proposicional con contenido de…6 kB (817 palabras) - 07:44 22 mar 2024
Lojban (redirección desde Grupo del Lenguaje Logico)combinación de loj y ban, que son las formas cortas de logji (lógica) y bangu (lenguaje), respectivamente. Lojban es un lenguaje hablado, usado para…36 kB (3799 palabras) - 13:16 24 ene 2024- En lógica, una constante lógica es una expresión que cuya presencia y posición determina la forma lógica de una proposición,[1] y por extensión la validez…10 kB (1149 palabras) - 19:13 19 sep 2023
- el principal diseñador del lenguaje Erlang. Un lenguaje orientado a la concurrencia hace a la concurrencia fácil de usar y eficiente. Como complemento…3 kB (368 palabras) - 14:55 6 ene 2024
En matemáticas, lógica y ciencias de la computación, un lenguaje formal es un lenguaje cuyos símbolos son primitivos y las reglas para unir esos símbolos…14 kB (1962 palabras) - 23:39 23 abr 2024- El cálculo lógico, o derivación lógica, es un algoritmo o sistema lógico que permite inferir o deducir un enunciado verdadero a partir de otro u otros…46 kB (4621 palabras) - 12:30 4 feb 2022
- que en la lógica la naturaleza de los símbolos naturalmente necesarios se declara: cuando conocemos la sintaxis lógica de cualquier lenguaje de signos
- relación con las matemáticas, y dio lugar a la lógica matemática. La raíz etimologica de la palabra nos remonta al latín logĭca, que a su vez proviene del
- Acerca de nuestras creencias y el sentido de la lógica y el lenguaje, puede uno situarse como si fuera el padre del estudiante, y considerar estas dos posturas
- modelado matemático, el razonamiento matemático y las relaciones entre estos. Sinónimo: lógica matemática. Wikipedia tiene un artículo sobre lógica formal.
- llegar donde no llega la lógica». Ernesto Sabato «El diablo es buen lógico; Dios no». José Bergamín «El genio no necesita de la lógica si es artista o filósofo
- los editores un apropiado lenguaje de secuencias de comandos que será a la vez más poderoso y más eficiente que la lógica ad hoc basada en ParserFunctions