Resultados de la búsqueda
Ir a la navegación
Ir a la búsqueda
Resultados por título de página
- …os, un sistema de ILP derivará una lógica hipotetizada cuya [[consecuencia lógica]] implique todos los ejemplos positivos y ninguno de los negativos. …ton también fundó la conferencia internacional anual sobre programación de lógica inductiva, introdujo las ideas teóricas de la Invención de Predicados, la… …21 kB (3181 palabras) - 20:12 7 nov 2024
Resultados por texto de página
- …osicional]], normalmente las cláusulas son descritas como una [[disyunción lógica|disyunción]] de literales <math>l_i</math>: Análogamente, se llama '''cláusula conjuntiva''' a una [[conjunción lógica|conjunción]] de literales: …1 kB (176 palabras) - 17:33 5 ago 2019
- {{Referencias|t=20191108}}En [[lógica proposicional]], una fórmula lógica es una '''cláusula de Horn''' si es una cláusula (disyunción de literales) …cláusula objetivo (goal) o consulta (query), especialmente en programación lógica. …3 kB (481 palabras) - 12:50 10 jun 2021
- …ormador de predicados]]'' es una [[función total]] entre dos ''[[aserción (programación)|predicados]]'' del conjunto de estados de un programa. El ''transformador de predicados'' canónico de la programación imperativa secuencial es el conocido normalmente como "'''weakest precondit …4 kB (626 palabras) - 09:09 8 abr 2024
- …s=Joyanes Aguilar|nombre=Luis|enlaceautor=|título=Fundamentos generales de programación|url=|fechaacceso=|año=2013|editorial=Mc Graw Hill|isbn=978-607-15-0818-8|ed …no se cumple (false). También puede contener el nombre de una [[Variable (programación)|variable]] booleana, y el valor de la expresión dependerá de su contenido. …4 kB (491 palabras) - 23:49 16 ene 2024
- …n [[lenguaje]] que es ''objeto'' de estudio en varios campos, incluyendo [[lógica]], [[lingüística]], [[matemáticas]] e [[informática teórica]]. El lenguaje …s, que son lenguajes que describen la naturaleza de otros lenguajes. En la lógica matemática, el lenguaje objeto es normalmente un [[lenguaje formal]]. El le …7 kB (1094 palabras) - 10:21 25 mar 2024
- …ido por [[Alonzo Church|Church]].<ref>{{cite book |title=Introducción a la lógica matemática |last=Church |first=Alonzo |authorlink=Alonzo Church |year=1956 …[[operador ternario]] en muchos lenguajes de programación. En términos de lógica electrónica, también puede ser visto como un [[multiplexor]] de un solo bi …3 kB (498 palabras) - 12:50 27 ene 2022
- La '''semántica formal''' es el estudio de las [[Interpretación (lógica)|interpretaciones]] de los [[Lenguaje formal|lenguajes formales]].<ref name …un lenguaje formal es la caracterización de la relación de [[consecuencia lógica]] en términos semánticos, y la demostración de metateoremas a partir de esa …4 kB (676 palabras) - 00:29 13 ago 2024
- …icciones]] (CSP) y por tanto crear una aproximación formalizada hacia la [[programación con restricciones]]. …ños hardware]]). También es posible establecer subteorías: por ejemplo, la lógica de diferencias es una sub-teoría de la aritmética lineal en la que cada des …3 kB (520 palabras) - 20:20 3 jun 2021
- …[evaluación perezosa]] y se usa en [[Lenguaje de programación|lenguajes de programación]] funcionales. La técnica fue desarrollada por primera vez por [[Chris Wads …funcionales]], en la que un programa se convierte en una representación [[Lógica combinatoria|combinatoria]] asignada a una [[estructura de datos]] de [[Gra …4 kB (634 palabras) - 15:43 14 nov 2023
- …ples reglas para un solo símbolo no terminal, que es la única conectividad lógica expresable en gramáticas libres de contexto. La conjunción y la negación pu …ones de lenguaje, algunos se basan en ideas del campo de la [[programación lógica]]. Sin embargo, estos problemas no triviales de definición formal son en su …4 kB (630 palabras) - 20:50 8 oct 2020
- …"correctos por construcción" en un [[lenguaje de programación|lenguaje]] [[programación imperativa|imperativo]]).<ref name="EWD472">{{cita web | apellido=Dijkstra una puerta lógica manejando un nodo ''y'' en el circuito consiste en dos comandos guardados, …7 kB (1160 palabras) - 09:08 8 abr 2024
- …ukasiewicz]] inventó esta notación alrededor de 1920 para simplificar la [[lógica proposicional]]. …sistemas notacionales incluso contrastados con la ''Exposición notacional lógica y el trabajo [[Principia Mathematica]]'' de [[Alfred North Whitehead|Whiteh …11 kB (1701 palabras) - 14:53 5 feb 2021
- …[[ciencias de la computación]] se ocupan de la [[Semántica de lenguajes de programación|semántica de los programas]]. Muestra cómo la [[semántica denotacional]],… …kquote> En el lenguaje UTP, una ''teoría'' es un modelo de un paradigma de programación particular. Una teoría UTP se compone de tres ingredientes: …6 kB (977 palabras) - 21:08 15 oct 2024
- …es importantes en [[lógica matemática]] y en la teoría de los lenguajes de programación, en tanto que el lenguaje interno de las categorías cartesianas cerradas es …2 kB (267 palabras) - 14:42 12 oct 2019
- {{Ficha de conectiva lógica |otros-nombres = Negación lógica<br>Complemento lógico …14 kB (2177 palabras) - 20:17 10 nov 2024
- …son más expresivas, pero sus propiedades son menos adecuadas que las de la lógica de primer orden desde la perspectiva de la [[teoría de modelos]]. El nombre «lógica de orden superior» se usa comúnmente para designar una '''lógica de predicados simples de orden superior'''. Aquí «simple» indica que la [[t …10 kB (1549 palabras) - 14:33 13 feb 2025
- …de cada uno de los componentes del software. No tiene en consideración la lógica interna del sistema. Permite la revisión final de las especificaciones y [[ …rvalo]], un [[conjunto]] de valores o una [[Condicional material|condición lógica]]. …7 kB (1092 palabras) - 13:47 20 mar 2025
- …n el simple cambio del [[software]] que incorpora, es lo contrario de la [[lógica cableada]]. …os cuales tienen una función no establecida, al contrario que las [[puerta lógica|puertas lógicas]] que tienen una función fija en el momento de su fabricaci …16 kB (2639 palabras) - 05:48 15 ago 2024
- …os programas de cálculos a los valores para la función en este lenguaje de programación. Los números de Gödel se construyen con referencia a símbolos de [[lógica proposicional|cálculo proposicional]] y la [[aritmética formal]]. Cada símb …6 kB (957 palabras) - 08:13 8 sep 2024
- En [[matemáticas]], [[lógica]] y [[física]] el término '''operador''' puede ser usado con diversas acep …ajo. La combinación de dos o más operadores lógicos conforma una [[función lógica]]. …9 kB (1453 palabras) - 00:52 12 abr 2024