lógica
51Lógica computacional — Este artículo o sección necesita referencias que aparezcan en una publicación acreditada, como revistas especializadas, monografías, prensa diaria o páginas de Internet fidedignas. Puedes añadirlas así o avisar …
52Lógica de segundo orden — Una lógica de segundo orden es una extensión de una lógica de primer orden en la que se añaden variables para propiedades, funciones y relaciones, y cuantificadores que operan sobre esas variables.[1] Así se expande el poder expresivo del… …
53Lógica doxástica — La lógica doxástica (del griego antiguo δόξα, doxa, creencia ) es una lógica modal que se ocupa del razonamiento acerca de las creencias. Típicamente, una lógica doxástica utiliza la expresión para significar el razonador c cree que p es… …
54Lógica por defecto — La lógica por defecto es una lógica no monotónica propuesta por Raymond Reiter para formalizar el razonamiento con hipótesis por defecto. La lógica por defecto puede expresar hechos como de forma predeterminada, algo es cierto , por el contrario …
55Lógica combinatoria — La lógica combinatoria es la lógica última y como tal puede ser un modelo simplificado del cómputo, usado en la teoría de computabilidad (el estudio de qué puede ser computado) y la teoría de la prueba (el estudio de qué se puede probar… …
56Lógica intensional — La lógica intensional es un sistema formal en donde los aspectos intensionales del lenguaje pueden ser representados.[1] Para entender lo que son estos aspectos intensionales, considérese el siguiente famoso ejemplo: la estrella matutina y la… …
57lógica, filosofía de la — Estudio filosófico de la naturaleza y alcance de la lógica. Ejemplos de problemas planteados en la filosofía de la lógica son: ¿En virtud de qué característica de la realidad son verdaderas las leyes de la lógica?; ¿Cómo conocemos las verdades de …
58Logica vetus — Dans l histoire de la logique, le terme de logica vetus (vieille logique) désigne, au Moyen Âge, les principaux ouvrages classiques disponibles en logique avant 1225 1250 : Catégories et De l interprétation de l Organon d Aristote, dans la… …
59Lógica de Hoare — Este artículo o sección necesita referencias que aparezcan en una publicación acreditada, como revistas especializadas, monografías, prensa diaria o páginas de Internet fidedignas. Puedes añadirlas así o avisar …
60Lógica de acoplamiento por emisor — En la electrónica, la lógica de acoplamiento por emisor, o ECL, es una lógica actual de la familia en la que se dirigió a través de transistores bipolares para implementar funciones lógicas. ECL es a veces llamado modo lógica actual o interruptor …