Ir al contenido

Resultados de la búsqueda

Para más opciones de búsqueda, vea Ayuda:Búsqueda.

Ver (20 previas · ) (20 · 50 · 100 · 250 · 500).
  • Miniatura para Programación lógica
    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) - 16:09 6 sep 2024
  • Miniatura para Lógica
    Lógica en el Lenguaje Cotidiano En el lenguaje cotidiano, la lógica se refiere a la coherencia entre ideas y la capacidad de razonar de forma clara y
    41 kB (9136 palabras) - 00:47 26 oct 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,…
    33 kB (5351 palabras) - 19:03 5 sep 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 (3399 palabras) - 04:47 15 ago 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
  • Miniatura para Lenguaje de programación
    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) - 17:43 6 nov 2024
  • Miniatura para Curry (lenguaje de programación)
    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
  • 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 (2796 palabras) - 09:34 6 jul 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 (5308 palabras) - 00:03 12 oct 2024
  • 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) - 22:02 7 sep 2024
  • Miniatura para Conjunción lógica
    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
  • 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
  • Miniatura para Lojban
    Lojban (redirección desde Grupo del Lenguaje Lógico)
    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
  • 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
  • Miniatura para Lenguaje formal
    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
  • Una lógica clásica es un sistema lógico que admite solo dos valores de verdad para sus enunciados (premisas y conclusión). En la lógica bivalente, una…
    2 kB (280 palabras) - 21:57 3 may 2022
Ver (20 previas · ) (20 · 50 · 100 · 250 · 500).