INFOSEKOLAH.NET

Logic es una herramienta multiuso desarrollada bajo licencia pública de Mozilla (Mozilla Firefox). Es un software de código abierto que empezó a ser desarrollado...

lógica Cálculo lógico Lógica de primer orden Lógica de segundo orden Lógica proposicional Lógica matemática Lógica computacional Lógica modal Lógica booleana...

La lógica matemática, también llamada lógica simbólica, lógica teorética, lógica formal o logística,​ es el estudio formal y simbólico de la lógica, y...

Logic Pro (anteriormente, Logic Audio) es una aplicación de software para edición de audio en pistas de audio y MIDI que funciona únicamente en la plataforma...

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 de...

Diode-transistor logic (DTL), o lógica diodo-transistor, es una categoría de circuitos digitales inmediatamente anterior a la TTL (lógica transistor-transistor)...

En lógica, una conectiva lógica, o también conectiva (también llamado operador lógico o conectores lógicos) es un símbolo o palabra que se utiliza para...

Una puerta lógica o compuerta lógica, es un dispositivo electrónico con una función de tipo booleano u otros tipos (ej. «Trivalente»), como sumar o restar...

acrónimo inglés de resistor transistor logic o lógica de resistencia-transistor. Fue la primera familia lógica en aparecer antes de la tecnología de integración...

La programación lógica es un tipo de paradigma de programación dentro del paradigma de programación declarativa. El resto de los subparadigmas de programación...

Emitter Coupled Logic (lógica de emisores acoplados) pertenece a la familia de circuitos MSI implementada con tecnología bipolar; es la más rápida disponible...

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...

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,...

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...

lógicos basados en lógica temporal son: Lógica computacional en árbol (Computational tree logic, CTL), lógica lineal temporal (Linear temporal logic,...

Una lógica plurivalente, lógica polivalente o lógica multivaluada es un sistema lógico que rechaza el principio de bivalencia (dimensión semántica) de...

software que incorpora, es lo contrario de la lógica cableada. La lógica programada se basa en dispositivos lógicos programables (PLD), los cuales tienen una...

La lógica relevante, también llamada lógica de relevancia, es toda lógica perteneciente a una de las familias de lógicas subestructurales no clásicas...

«lógicas extendidas» entre las cuales se incluyen además la lógica deóntica, la lógica temporal, la lógica epistémica y la lógica doxástica. La lógica...

La lógica deóntica (del griego δέον[τος] déon[tos] 'lo debido , lo necesario') es la lógica de las normas y de las ideas normativas. Su campo de estudio...

Una innovación de la Matriz lógica programable fue la matriz lógica genérica (Generic array logic) o GAL. Ambas fueron desarrolladas por Lattice Semiconductor...

Se llama lógica ternaria o lógica trivalente a cualquier sistema lógico multivaluado en el que hay tres valores de verdad, indicando Verdadero, Falso y...

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...

Una lógica no clásica o lógica alternativa es un sistema formal que difiere de manera significativa de las lógicas clásicas. Hay varias formas de hacerlo...

Una lógica no monotónica, o lógica no monótona, es un sistema lógico cuya relación de consecuencia lógica es no monotónica. La mayoría de los sistemas...

En física, la lógica cuántica es el conjunto de reglas algebraicas que rigen las operaciones para combinar y los predicados para relacionar proposiciones...

las constantes lógicas) de ese lenguaje.​​ En algunos textos y contextos (v.g. cálculo lógico y lógica matemática), las verdades lógicas se conocen como...

La lógica aristotélica es la lógica basada en los trabajos del filósofo griego Aristóteles, quien es ampliamente reconocido como el padre fundador de la...

computación, la unidad aritmética lógica o unidad aritmético-lógica, también conocida como ALU (siglas en inglés de arithmetic logic unit), es un circuito digital...

Holland. Editan 2 discos "Animal Logic" (1989) del cual incluso se desprende una gira internacional, y "Animal Logic II" (1991) - de este último no hicieron...

La historia de la lógica documenta el desarrollo de la lógica en varias culturas y tradiciones a lo largo de la historia. Aunque muchas culturas han empleado...

Un controlador lógico programable, más conocido como PLC, (siglas del inglés programmable logic controller) es una computadora utilizada en la ingeniería...

más conocido como Logic es un rapero, Cantante y productor discográfico estadounidense. Creció en Gaithersburg, Maryland, Logic expresó un interés en...

El empirismo lógico, también llamado neopositivismo o positivismo lógico, es una corriente en la filosofía de la ciencia que limita la validez del método...

La lógica probabilística (o lógica probabilista) es una forma de razonamiento que tiene como objetivo combinar la capacidad de manejar la incertidumbre...

empírica la lógica? es el título de dos artículos demostrativos que tratan sobre la posibilidad de que las propiedades algebraicas de la lógica puedan o...

La lógica de la investigación científica (en alemán: Logik der Forschung) es un libro de Karl Popper escrito en 1934. Fue originalmente redactado en alemán...

En lógica, la consecuencia lógica (también vinculación, o bien, implicación lógica) es la relación entre las premisas y la conclusión de un argumento...

Las lógicas de descripción, también llamadas lógicas descriptivas (DL por description logics) son una familia de lenguajes de representación del conocimiento...

La lógica epistémica es un campo de la lógica modal que se ocupa del razonamiento sobre el conocimiento. Mientras que la epistemología posee una larga...

En razonamiento formal y lógica proposicional, una disyunción lógica ( ∨ {\displaystyle \lor } ) (también conocido como disyunción incluyente, disyunción...

razonamiento formal, una conjunción lógica ( ∧ {\displaystyle \land } ) entre dos proposiciones es un conector lógico cuyo valor de la verdad resulta en...

relacionados: una familia lógica de dispositivos circuitos integrados digitales monolíticos, es un grupo de puertas lógicas (o compuertas) construidas...

Una lógica paraconsistente es un sistema lógico que intenta tratar las contradicciones en forma atenuada. Alternativamente, la lógica paraconsistente...

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...

(todas las verdades lógicas) del sistema son además teoremas del sistema.​ Es decir, cuando el conjunto de las verdades lógicas del sistema es un subconjunto...

La lógica binaria es la que trabaja con las variables y operaciones del álgebra de Boole. Así, las variables sólo toman dos valores discretos, los valores...

En metalógica, la consistencia o consistencia lógica es la propiedad que tienen los sistemas formales cuando no es posible deducir una contradicción dentro...

AeroLogic GmbH, es una aerolínea de carga, empresa conjunta entre DHL Express y Lufthansa Cargo.​ Su red de vuelos internacionales de larga distancia...

La lógica de diodos (DL) o lógica diodio-resistor construye puertas lógicas booleanas a partir de diodos trabajando como conmutadores operados eléctricamente...

La lógica computacional es la misma lógica matemática aplicada al contexto de las ciencias de la computación. Su uso es fundamental en varios niveles:...

El juego de la lógica (en inglés The Game of Logic) es un ensayo filosófico y de problemas matemáticos escrito por Lewis Carroll en 1886, en los que plantea...

Logic Express es la versión simplificada de Logic Pro, que es un secuenciador de MIDI y de uso audio-digital. Es desarrollado por Apple Inc. y funciona...

(High Treshold-Logic, Lógica de alto umbral) es una tecnología desarrollada a partir de la tecnología DTL (Diode-Transistor Logic, lógica diodo-transistor)...

Los videojuegos de lógica, también conocidos como videojuegos de inteligencia o videojuegos de puzle, son un género de videojuegos que se caracteriza por...

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,​ y por extensión la validez...

Dolby Pro Logic es una tecnología de sonido envolvente (surround) diseñada para decodificar pistas de sonido codificadas en Dolby Surround. Dolby Surround...

Luck & Logic (ラクエンロジック, Raku en Rojikku?) es una franquicia de medios de comunicación creada por Bushiroad. Consiste en un juego de cartas coleccionables...

Cirrus Logic (NASDAQ: CRUS) es una empresa de electrónica sin fábricas especializada en circuitos integrados para Conversión analógica-digital, Procesador...

La lógica del vegetarianismo (The logic of vegetarianism) es una de las obras más destacadas del escritor, pensador y activista por los derechos de los...

La lógica de inyección integrada (en inglés integrated injection logic, IIL, I2L o I2L) es una familia de circuitos digitales construidos con transistores...

La inteligencia lógico-matemática es una de las inteligencias componentes del modelo propuesto por Howard Gardner en su teoría de las inteligencias múltiples...

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...

Un sistema formal o sistema lógico es un sistema abstracto compuesto por un lenguaje formal, axiomas, reglas de inferencia y a veces una semántica formal...

En lógica tradicional, la obversión es un "tipo de inferencia inmediata en la cual a partir de una proposición dada se infiere otra proposición cuyo sujeto...

lógica, la validez es una propiedad que tienen los argumentos cuando las premisas implican la conclusión. Si la conclusión es una consecuencia lógica...

La lógica demostrativa es una lógica modal, en la que el operador caja (o "necesidad") es interpretado significando 'debe ser demostrado que'. El aspecto...

La lógica empírica es la base del razonamiento empírico y por lo tanto del método empírico. Esta visión de la lógica proviene de la Antigua Grecia, siendo...

«El acertijo lógico más difícil del mundo» es un título que acuñó George Boolos en La República (1992) bajo el título «L'indovinello più difficile del...

Una bomba lógica es una parte de un código insertado intencionalmente en un programa informático que permanece oculto hasta cumplirse una o más condiciones...

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...

filosóficos, a menudo en forma de sistemas lógicos extendidos como la lógica modal. Algunos teóricos conciben la lógica filosófica en un sentido más amplio como...

El piano lógico, llamado así por su parecido a los pianos verticales de la época, fue la primera máquina lógica que podía manejar el álgebra de Boole para...

Los acertijos lógicos son pasatiempos o juegos que consisten en hallar la solución de un enigma o encontrar el sentido oculto de una frase solo por vía...

La lógica intuicionista, o lógica constructivista, es el sistema lógico originalmente desarrollado por Arend Heyting para proveer una base formal para...

Un rompecabezas lógico es un puzle que deriva del campo matemático del razonamiento deductivo. El primer rompecabezas lógico fue creado por Charles Lutwidge...

La lógica retractable es una lógica no monotónica propuesta por Donald Nute para formalizar el razonamiento retractable. En esta lógica hay tres tipos...

Lógica cableada, sistema cableado, lógica de contactos, es una forma de realizar control semiautomático y/o automático. Se emplean dispositivos físicos...

Un analizador lógico es un instrumento de medida que captura los datos de un circuito digital y los muestra para su posterior análisis, de modo similar...

contenido. Como esquema lógico-formal: consistencia y coherencia con un sistema que no admite contradicción. Como función lógico-matemática: consistencia...

El Tractatus Logico-Philosophicus es el título de una obra de Ludwig Josef Johann Wittgenstein.​ Surgió como resultado de sus notas y de correspondencia...

Plastic Logic es una empresa de derivada (spin-off) del Laboratorio Cavendish en la Universidad de Cambridge y está especializada en polímeros transistores...

El Enfoque de Marco Lógico (EML) es una herramienta analítica, desarrollada en 1969, para la planificación de proyectos orientada al cumplimiento de objetivos...

TTL es la sigla en inglés de transistor-transistor logic, es decir, «lógica transistor a transistor». Es una tecnología de construcción de circuitos electrónicos...

centros de datos y redes móviles. LSI Corporation fue fundada como LSI Logic en 1981​ en Milpitas, California, por Wilfred Corrigan como una compañía...

En lógica matemática, la noción de independencia o indecidibilidad se refiere a la imposibilidad de demostrar o refutar un predicado a partir de otros...

Una lógica de segundo orden es una extensión de una lógica de primer orden en la que se añaden variables que representan propiedades, funciones y relaciones...

La lógica libre es un sistema lógico sin presupuestos existenciales. Esto es, sus teoremas son válidos en todos los dominios, incluyendo el dominio vacío...

En filosofía, lógica y matemática, una propiedad es un atributo o cualidad de un objeto. Por ejemplo, la sangre tiene la propiedad de ser roja. Las propiedades...

La Association for Symbolic Logic (ASL) es el organismo internacional de especialistas en lógica y lógica matemática de mayor prestigio a nivel mundial...

Re-Logic es un desarrollador y editor de videojuegos independiente estadounidense con sede en Indiana, EE. UU. Fue fundada por Andrew Spinks en 2011....

En lógica matemática, un literal es una fórmula atómica o su negación. La definición del concepto se halla sobre todo en la teoría de la demostración....

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...

El razonamiento deductivo o deducción es el proceso lógico que consiste en obtener inferencias deductivas. Una inferencia es deductivamente válida si su...

En lógica proposicional, una tautología es una fórmula bien formada que resulta verdadera para cualquier interpretación; es decir, para cualquier asignación...

Pretzel Logic es el tercer álbum de estudio de la banda de rock estadounidense Steely Dan, lanzado el 20 de febrero de 1974 por ABC Records. Fue escrito...

material, es un conectiva lógica que conecta dos proposiciones, representado usualmente como A → B {\displaystyle A\to B} . En lógica proposicional, el condicional...

En filosofía y lógica, el término proposición se usa para referirse a:​ Las entidades portadoras de los valores de verdad.​ Los objetos de las creencias...

Una sonda lógica es un instrumento utilizado en electrónica digital para determinar el nivel lógico en los distintos puntos de un circuito, siempre que...

En lógica matemática, una sentencia de una lógica de predicados es una fórmula bien formada con valor booleano y sin variables libres. Una sentencia puede...

Queens Logic es una película de comedia de 1991 de Seven Arts Pictures protagonizada por Kevin Bacon, Linda Fiorentino, Joe Mantegna y John Malkovich...

AB Logic fue un proyecto musical belga de estilo eurodance creado en 1991. Sus miembros fueron el rapero K-Swing (Cedric Murril) y la vocalista de música...

Para la canción, véase X&Y El Twisted Logic Tour fue una gira mundial realizada por la banda inglesa Coldplay, para promocionar su tercer álbum de estudio...

Dry Kill Logic es una banda de nu metal​​​​​ y metalcore estadounidense de Westchester, Nueva York, formada en 1995​ como Hinge.​ También han sido categorizados...

En electrónica, lógica de pegamento es el circuito lógico particular usado para interconectar circuitos integrados existentes.​ A menudo esto es logrado...

En lógica matemática, una aserción lógica es una afirmación que asevera que una premisa es verdadera. Por ejemplo, si p = x "es par", la implicación (...

La lógica intensional es un sistema formal donde los aspectos intensionales del lenguaje pueden ser representados.​ Para entender lo que son estos aspectos...

Solid State Logic (SSL) es una compañía tecnológica británica ubicada en Begbroke, Oxfordshire, dedicada al diseño y comercialización de diversas tecnologías...

El Logic Theorist es un complejo sistema de manejo de información creado por Allen Newell, Herbert A. Simon y Cliff Shaw en 1955. Este sistema es considerado...

Symbios Logic era un fabricante de chipsets para adaptadores de host SCSI y subsistemas de almacenamiento en disk array. Se creó originalmente como una...

En lógica y matemática, la negación, también llamada complemento lógico, es una operación sobre proposiciones, valores de verdad, o en general, valores...

conversión lógica. Puede consultarse el tema en problemática de la lógica silogística Silogismo Obversión lógica Contraposición lógica Inversión lógica MITCHELL...

La forma lógica de una proposición es la representación de su contenido y sintaxis usando las herramientas de la lógica, en particular el simbolismo del...

La lógica doxástica (del griego antiguo δόξα, doxa, "creencia") es un sistema lógico que se ocupa del razonamiento acerca de las creencias. Típicamente...

En la lógica proposicional, la transposición o transformación del condicional​​​ es una regla de reemplazo válida de que permite que se cambie el antecedente...

«Pretzel Logic» es una canción interpretada por la banda estadounidense de rock Steely Dan. Fue publicada como la tercera canción del lado B de su tercer...

La inversión lógica es una de las operaciones que la lógica clásica tradicional admitía como operación lógica válida. Consiste en cambiar el sujeto por...

En lógica, la contraposición lógica es una ley que dice que, para cada sentencia condicional, hay una equivalencia lógica entre la misma y su contraposición...

Programmable Logic Device) es un dispositivo electrónico. Los CPLD extienden el concepto de un PLD (del acrónimo inglés Programmable Logic Device) a un...

En lógica proposicional, la doble negación es el teorema que afirma que "Si un enunciado es verdadero, entonces no es el caso que la declaración no es...

Lógica de Port-Royal es el nombre con el que se conoce normalmente La logique, ou l'art de penser, contenant, outre les règles communes, plusieurs observationes...

Una compuerta lógica molecular es, en nanotecnología, una compuerta lógica a un nivel molecular. Actualmente se está dedicando mucha atención a la investigación...

Oracle WebLogic es un servidor de aplicaciones Java EE (J2EE) y también un servidor web HTTP, desarrollado por BEA Systems, posteriormente adquirida por...

En lógica matemática una hipótesis es una fórmula de la que se parte para alcanzar finalmente otra fórmula mediante deducciones válidas. Es decir, en la...

Exportación​​​​ es una regla de reemplazo válida de la lógica proposicional. La regla establece que si P {\displaystyle P} implica Q {\displaystyle Q}...

Absorción es una forma lógica de argumento válido y una regla de inferencia de la lógica proposicional.​​ La regla establece que si P {\displaystyle P}...

Una matriz lógica programable o PAL es un dispositivo diseñado por la empresa Monolithic Memories (ahora adquirida por AMD) y ha sido sin duda el circuito...

la inducción, cuya vigencia e importancia continúa desde hace siglos. La lógica inductiva estudia las maneras de medir la probabilidad de que una conclusión...

La lógica informal, o lógica no formal, es el estudio de los argumentos a posteriori en oposición al estudio técnico y teórico de la lógica matemática...

En lógica, una falacia (del latín fallacia ‘engaño’) es una tesis que parece válida, pero no lo es.​​ Algunas falacias se cometen intencionadamente para...

La lógica difusa o lógica borrosa (en inglés: fuzzy logic) es un tipo de lógica multivaluada en la cual los valores de verdad de las variables pueden ser...

El atomismo lógico, heredero en muchos aspectos del trabajo de Gottlob Frege en el siglo XIX, es una doctrina filosófica sostenida por Bertrand Russell...

El Bulletin of Symbolic Logic (abreviado Bull. Symb. Log.) es una revista académica trimestral, arbitrada, publicada por Cambridge University Press en...

Common Logic (CL) es un marco para una familia de lenguajes lógicos, basado en lógica de primer orden, destinado a facilitar el intercambio y la transmisión...

El principio de identidad es un principio clásico de la lógica y la filosofía, según el cual toda entidad es idéntica a sí misma. Por ejemplo, Aristóteles...

La lógica de Hoare es un sistema formal desarrollado por C.A.R. Hoare — y posteriormente refinado por otros investigadores — que proporciona a una serie...

El Review of Symbolic Logic (abreviado Rev. Symb. Log.) es una revista académica con arbitraje por pares publicada por Cambridge University Press en nombre...

computación, en particular en análisis y diseño orientado a objetos, el término lógica de negocio es la parte de un sistema que se encarga de codificar las reglas...

La noción matemática de «interacción lógica», concebida como generalización de la de interacción nacido del Diseño de Experimentos, ha sido introducida...

La lógica de clases analiza la proposición lógica considerando la pertenencia o no pertenencia de un elemento o individuo clasificado por poseer una determinada...

Gunning Transceiver Logic o GTL es un tipo de lógica de señalización utilizado para transmitir en buses electrónicos tipo Backplane. Tiene una oscilación...

Journal of Symbolic Logic (JSL, abreviado J. Symb. Log.) es una revista académica con arbitraje por pares dedicada a la lógica matemática y sus aplicaciones...

tipo de dato lógico, también conocido como «booleano» en honor a George Boole, es en computación aquel que puede representar valores de lógica binaria, esto...

anual de tráfico, etc.). Si bien pueden estar en forma narrativa, el modelo lógico generalmente toma forma en una representación gráfica de las relaciones...

la primera clase de lógica digital transistorizado circuito utilizado; otras clases incluyen lógica diodo-transistor DTL y lógica transistor-transistor...

Un sistema de lógica inductiva y deductiva (en inglés: A System of Logic, Ratiocinative and Inductive) es el primer libro del filósofo inglés John Stuart...

Una lengua lógica es una lengua construida que ha sido diseñada de tal forma que sus estructuras gramaticales no sean intrínsecamente ambiguas. El primer...

Drinkin' Songs and Other Logic es el noveno álbum de estudio del cantante estadounidense Clint Black, lanzado por el sello Equity el 4 de octubre de 2005...

La lógica algebraica es un área de la lógica matemática que estudia los sistemas lógicos mediante métodos y estructuras algebraicas. En un sentido clásico...

and Philosophy of Logic es una revista académica revisada por pares dedicada a la historia de la lógica y a la filosofía de la lógica. Es publicada por...

obtener criterios de verdad. Como adjetivo, 'lógico' o 'lógica' significa que algo sigue las reglas de la lógica y de la razón. Indica también una consecuencia...

Visual Logic es una herramienta de autor gráfica que permite al alumnado escribir y ejecutar programas que utilizan flowcharts.​ Es típicamente utilizado...

En lógica, una interpretación semántica es asignar significados a las variables que constituyen las fórmulas bien formadas de un lenguaje formal.​ Como...

combinacional. El método del esfuerzo lógico permite, dada una función lógica, encontrar cuál es la estructura de puertas lógicas que obtiene el menor retardo...

de manera consciente de los hechos, estableciendo conexiones causales y lógicas necesarias entre ellos. En sentido más restringido se puede hablar de diferentes...

Un probador de teoremas lógicos es una metodología o programa (software), que rechaza o acepta un teorema según un conjunto de reglas predefinidas.​ Ejemplos:...

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 la computabilidad (el estudio...

of Philosophical Logic es una revista académica bimensual y arbitrada por pares dedicada a la lógica filosófica y al uso de la lógica simbólica para abordar...

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...

En lógica matemática, una cláusula es una expresión formada por una colección finita de literales (variables o sus negaciones) que es verdadera cuando...

Lógica de términos, escuela de lógica que surgió en la Europa del siglo XII y que dominó las universidades hasta su postergación en las reformas humanísticas...

La lógica lineal es un proceso analítico cuyo orden es invariable, y donde no se aceptan errores. Se puede comprender de forma lógica como un perfeccionamiento...

En lógica Resolución es una regla de inferencia utilizada sobre cierto tipo de proposiciones lógicas y es especialmente utilizada para los demostradores...

La seguridad lógica se refiere a la protección de los datos, procesos y programas, así como al acceso ordenado y autorizado de los usuarios a la información...

El alfabeto lógico , también llamado Alfabeto Lógico X-stem (XLA), constituye un conjunto icónico de símbolos lógicos booleanos que representan sistemáticamente...

aridad de la función. Existen distintas formas de representar una función lógica, entre las que podemos destacar las siguientes: Algebraica Por tabla de...

electrónica, un gate array (matriz de puertas) o Uncommitted Logic Array (ULA, o "matriz lógica no encargada" o "no comprometida")​ es una técnica para diseñar...

En programación, la lógica de control es el conjunto de operaciones lógicas y estructuras de control que determinan el orden de ejecución de las instrucciones...

Son llamados Neopositivistas Lógicos un grupo de autores, con todas las características de una «Escuela» por sus mutuas relaciones e interdependencias...

La lógica estoica es el sistema de lógica proposicional desarrollado por los filósofos del estoicismo en la antigua Grecia. Fue uno de los dos grandes...

esquematiza operaciones lógicas. El álgebra booleana fue introducida por George Boole en su primer libro The Mathematical Analysis of Logic (1847)​ y expuesta...

La lógica dialógica (también conocida como lógica del diálogo) ha sido concebida como un enfoque pragmático de la semántica de la lógica que recurre a...

(también, circuito lógico) es aquel que maneja la información en forma binaria, es decir, con valores de "1" y "0". Estos dos niveles lógicos de voltaje fijos...

Programmed Logic Automated Teaching Operations (Lógica Programada para Operaciones de Enseñanza Automatizadas) o PLATO fue uno de los primeros sistemas...

{\displaystyle P} , entonces Q {\displaystyle Q} . Esta es una formulación no lógica de una proposición hipotética. En este caso, el antecedente es P {\displaystyle...

El Día Mundial de la Lógica se celebra anualmente, cada 14 de enero. Proclamado durante la 40.ª Conferencia General de la Unesco en asociación con el Consejo...

En lógica, una regla de inferencia, o regla de transformación es una forma lógica que consiste en una función que toma premisas, analiza su sintaxis, y...

En lógica, las declaraciones p y q son lógicamente equivalentes si tienen el mismo contenido lógico. Este es un concepto semántico, dos afirmaciones son...

La Summa logicae o Suma de lógica es un libro de texto de lógica escrito por Guillermo de Ockham. A partir de la teoría de la inferencia que le sirve...

En lógica matemática, una fórmula bien formada, también llamada expresión bien formada, y a menudo abreviada fbf o EBF, es una cadena de caracteres o palabra...

La lógica basada en el ruido (NBL por sus siglas en inglés)​ es una nueva clase de esquemas de lógica plurivalente donde los valores lógicos y los bits...

armonía lógica, un nombre acuñado por Michael Dummett, es una limitación en las reglas de inferencia que se puede utilizar en un sistema de lógica determinado...

El algoritmo de los tiempos lógicos de Lamport, es un algoritmo simple usado para determinar el orden de los eventos en un Sistema Distribuido Informático...

AQL (Associative Query Logic) es una tecnología de desarrollo de bases de datos. Patentada por QlikTech, trabaja de un modo distinto al construir y mantener...

  Lógica matemática (Mathematical Logic). 1940.  Lógica elemental (Elementary Logic). 1941.  El sentido de la nueva lógica (O Sentido da Nova Lógica)....

Studia Logica (abreviada Stud. Log.) es una revista académica con arbitraje por pares dedicada a la lógica —en sentido amplio— y a sus interacciones con...

utilice el sistema operativo. Una partición de un disco duro es una división lógica en una unidad de almacenamiento (por ejemplo, un disco duro o unidad flash)...

y los sistemas formales. Se consideran ciencias puras la matemática, la lógica, la estadística y, recientemente, la ciencia de computación. Si bien su...

En matemáticas, especialmente en lógica, una afirmación lógica es la presentación de una proposición o predicado lógico como su afirmación o su consideración...

conjuntos. Desde el punto de vista modelo-teórico, las estructuras son objetos usados para definir la semántica de lógicas de primer orden. Datos: Q1851710...

filósofo y lógico estadounidense​ Kripke realizó importantes y originales contribuciones en diversos campos relacionados con la lógica, la metafísica...

digital se usa principalmente para programar PLD (Programable Logic Device - Dispositivo Lógico Programable), FPGA (Field Programmable Gate Array), ASIC y...

matemáticas y lógica, una lógica de orden superior (abreviada LOS) es una forma de lógica de predicados que se distingue de la lógica de primer orden...

La epistemología budista, la lógica budista o pramāṇa-vāda se refiere a un grupo de pensadores budistas indios que se centraron en el estudio de la epistemología...

Una lógica infinita es una lógica que permite declaraciones infinitamente largas y/o pruebas infinitamente largas. Algunas lógicas infinitarias pueden...

En lógica, un valor de verdad es un valor que indica en qué medida una declaración es verdad. En lógica clásica bivalente los valores de verdad solo son...

En lógica, la lógica temporal lineal o la lógica temporal de tiempo lineal ​​ (LTL) es una lógica temporal modal con modalidades que se refieren al tiempo...

La lógica híbrida es un tipo de extensión de la lógica modal proposicional con mayor poder expresivo, aunque sin llegar a ser una lógica de primer orden...

La lógica trascendental constituye, en el contexto de la Crítica de la Razón Pura de Kant, la segunda parte de la teoría elemental trascendental, que tiene...

Se denomina sistema combinacional o lógica combinacional a todo sistema lógico en el que sus salidas son función exclusiva del valor de sus entradas en...

En lógica digital, un inversor, puerta NOT o compuerta NOT es una puerta lógica que implementa la negación lógica . A la derecha se muestra la tabla de...

Un lógico llamado Joe (título original en inglés: A Logic Named Joe), es un cuento de ciencia ficción del escritor estadounidense Murray Leinster publicado...

La lógica imperativa es el campo de la lógica que se ocupa de los imperativos. A diferencia de los declarativos, no está claro si los imperativos denotan...

regla de inferencia de la lógica proposicional.​​​ La regla hace posible la introducción de disyunciones de pruebas lógicas. Es la inferencia de que si...

La lógica de bucle temporal (aunque recurrencia temporal es más correcto) es un sistema de computación que requiere una computadora capaz de enviar datos...

Unidos. Fue miembro del Círculo de Viena. Destacado defensor del positivismo lógico, fue uno de los miembros más destacados del círculo de Viena. Carnap nació...

la adjunción Lógica o negación de la implicación ( ↛ {\displaystyle \nrightarrow } ) entre dos proposiciones, a y b, es un conector lógico cuyo valor de...

matemático, lógico y filósofo polaco, figura central de la Escuela de Leópolis-Varsovia y uno de los más importantes artífices del desarrollo de la lógica en Polonia...

En lógica matemática, el teorema de compacidad establece que un conjunto (posiblemente infinito) de fórmulas bien formadas de la lógica de primer orden...

que constituye una regla general de pensamiento lógico (por oposición a los postulados).​ Así en lógica y matemáticas, un axioma es solo una premisa que...

fue un filósofo y matemático estadounidense cuyo mayor trabajo ha sido en lógica matemática, en particular en teoría de la demostración. Nació en Nueva York...

La lógica categórica es una rama de las matemáticas, particularmente de la lógica matemática, que investiga a los sistemas formales usando conceptos de...

Control de enlace lógico LLC ("Logical Link Control") define la forma en que los datos son transferidos sobre el medio físico, proporcionando servicio...

La lógica esférica es la ciencia formal y rama estricta tanto de la filosofía como de las matemáticas que estudia los principios de la demostración y la...

NovaLogic, Inc. es una compañía desarrolladora de software y editora establecida en 1985 y con sede en Calabasas, California. La compañía fue fundada...

syllogismus) es un tipo de razonamiento deductivo que forma parte de la lógica, de origen griego. Consta de dos proposiciones como premisas y otra como...

Algebra i Logika (inglés: Algebra and Logic ) es una revista matemática rusa revisada por pares fundada en 1962 por Anatoly Ivanovich Malcev, publicada...

La lógica dialéctica es el sistema de leyes del pensamiento y la forma de razonar dentro de las tradiciones hegeliana y marxista, que busca hacer una mediación...

argumento válido (razonamiento deductivo) y una de las reglas de inferencia en lógica proposicional.​ Se puede resumir como «si P implica Q; y si P es verdad;...

Alonzo Church (14 de junio de 1903 - 11 de agosto de 1995), matemático y lógico estadounidense creador de la base de la computación teórica. Nacido en la...

«1-800-273-8255» es una canción del rapero estadounidense Logic. Fue lanzado el 28 de abril de 2017, a través de Visionary Music Group y Def Jam Recordings...

Alan Ross Anderson (1925-1973), fue un lógico estadounidense y profesor de filosofía en las universidades de Yale y Pittsburgh en los Estados Unidos de...

diferentes​) es, en lógica clásica, una forma de argumento válida que contiene una declaración disyuntiva en una de sus premisas,​​ y en lógica proposicional...

deducciones lógicas válidas, se dice que las premisas implican (infieren) la conclusión. La inferencia es el objeto de estudio tradicional de la lógica, así...

Un reloj de lógica cuántica es un tipo de reloj que confina juntos iones de aluminio y de berilio en una trampa electromagnética retardados por láseres...

En Lógica, falso o no veraz es el estado de poseer un valor verdadero negativo o una conectividad lógica nula. En un sistema lógico proposicional de verdad-funcional...

(Vantaa, 12 de enero de 1929-Porvoo, 12 de agosto de 2015) fue un filósofo y lógico finés. Hintikka nació en Vantaa. Luego de enseñar en Florida State University...

AnyLogic es una herramienta desarrollada por The AnyLogic Company que incluye todos los métodos de simulación más comunes en práctica hoy. A principios...

Programación lógica inductiva (ILP, por sus siglas en inglés) es un subcampo de lainteligencia artificial simbólica que usa programación lógica como representación...

En la lógica de predicados, la generalización existencial​​ (también conocida como introducción existencial, ∃I) es una regla de inferencia válida que...

noción y otros teoremas. Demostrar teoremas es un asunto central en la lógica matemática. Los teoremas también pueden ser expresados en lenguaje natural...

En lógica proposicional, la tautología es una regla de reemplazo comúnmente utilizada​ para eliminar la redundancia en disyunciones y conjunciones en las...

epistemológicas que han desarrollado otros, como el deductivismo.​ El propósito de la lógica inductiva es el estudio de las pruebas que permiten medir la probabilidad...

En lógica proposicional, la implicación material​​ o definición del condicional​ es una regla de reemplazo válida que permite que una declaración condicional...

universos de teoría de conjuntos, en relación con las teorías axiomáticas y la lógica matemática. La teoría de modelos permite atribuir una interpretación semántica...

Como lógica india se conoce a una corriente separada, autónoma de la lógica. Se originó en el interior de la filosofía india y , al empezar, avanzaba junto...

La metalógica es la rama de la lógica que estudia las propiedades y los componentes de los sistemas formales.​ Las propiedades más importantes que se pueden...

-originalmente Alfred Teitelbaum- (14 de enero de 1901—26 de octubre de 1983) fue un lógico, matemático y filósofo polaco. Nació el 14 de enero de 1901 en la ciudad...

texto a su izquierda dice "el primer empleo de diagramas circulares en lógica se atribuye impropiamente a Euler. Puede encontrarse en Christian Weise"...

Condado de Cork, Irlanda, 8 de diciembre de 1864) fue un matemático y lógico británico. Como inventor del álgebra de Boole, que marca los fundamentos...

estadounidense, fundador del pragmatismo conceptual. Primero destacó como lógico, luego se decantó por la epistemología y, durante los últimos veinte años...

George se sintió atraído por los estudios botánicos, aplicando los métodos lógicos de su tío, y no por un interés especial en la Historia natural. Mientras...

John Corcoran (1937, Baltimore) fue un lógico, filósofo y matemático estadounidense. Se le conoce fundamentalmente por su trabajo filosófico que nos ha...

En lógica formal, una fórmula atómica es una fórmula bien formada que no tiene una estructura formal más profunda. Esto es, una fórmula que no contiene...

conocido especialmente por sus trabajos sobre lógica algebraica. Fue una figura principal de la historia de la lógica matemática (término que él generalizó)...

and John P. Burgess, eds.). Logic, Logic, and Logic. Harvard University Press. LLL = reimpreso en Logic, Logic, and Logic. FPM = reimpreso en Demopoulos...

efectos de baja frecuencia (el punto uno).​ Dolby Digital, Dolby Pro Logic, Dolby Pro Logic II, DTS, y SDDS son todos sistemas comunes 5.1. El sonido envolvente...

En lógica, una teoría es un conjunto de proposiciones dentro de un lenguaje formal que es semánticamente completo en el sentido de que todo modelo que...

a la misma velocidad. Operaciones bit a bit: Ejecutan las operaciones lógicas AND, OR, XOR, NOT, etc, sobre los bits individuales de los operandos. Operaciones...

1933) es un filósofo y lógico que enseña en la Universidad de California en Los Ángeles. Su trabajo filosófico se centra en la lógica, la filosofía del lenguaje...

contraposición)​ es una forma de argumento válida y una regla de inferencia en lógica proposicional. Se puede resumir como "Si P implica Q, y Q no es cierto,...

diciembre de 1940) fue un lógico, filósofo, sicólogo y poeta ruso simbolista, precursor de la lógica paraconsistente y la lógica polivalente. Su padre fue...

(1837-1909) fue un matemático escocés que se destacó en el campo de la lógica. MacColl era el hijo menor de una familia de montañeses pobres de las Tierras...

ley; antinomia, contradicción en la ley) es un término empleado en la lógica y la epistemología que, en sentido laxo, significa paradoja o contradicción...

y la lógica filosófica en el sentido anglo-estadounidense. En 1951 su libro, An Essay in Modal Logic and Deontic Logic [Un ensayo sobre la lógica modal...

1932) es el Profesor Emérito de Ciencias de la Computación, Filosofía y Lógica Matemática en Carnegie Mellon University; Se encuentra jubilado y vive en...

las fórmulas proposicionales, usadas en lógica proposicional y en lógicas superiores. Las fórmulas en lógica son comúnmente construidas recursivamente...

un idioma construido, más exactamente una lengua lógica, basado en la lógica de primer orden (lógica predicativa) creada por el Logical Language Group...

de 1835 - Hastings, 13 de agosto de 1882) fue un economista, filósofo y lógico inglés. William Jevons nació en una familia de comerciantes de buena posición...

​​​​ Es famoso por introducir en 1965 la teoría de conjuntos difusos o lógica difusa y se le considera el padre de la teoría de la posibilidad.​ Zadeh...

and Logical Objects," Journal of Philosophical Logic 33: 1-26. George Boolos, 1998. Logic, Logic, and Logic. Harvard Univ. Press. Especially section II,...

En filosofía y lógica, especialmente en lógica modal, la noción de mundo posible se utiliza para interpretar afirmaciones modales como «es posible que...

Doubles by Moon on the Water 1989 : Animal Logic by Animal Logic 1991 : Animal Logic II by Animal Logic 2001 : The Grand Pecking Order by Oysterhead...

En lógica formal, un cuantificador es una expresión que indica la cantidad de veces que un predicado o propiedad P se satisface dentro de una determinada...

cuando fue acuñado en imitación del cuadrivio anterior.​ La gramática, la lógica y la retórica eran esenciales para una educación clásica, tal como se explica...

Mignucci, Mario (1982-1988). «Sobre las refutaciones sofísticas». Tratados de lógica: órganon. Gredos. pp. 362-363. ISBN 84-249-0232-7. OCLC 855687608. Consultado...

En matemáticas, lógica, ciencias de la computación y disciplinas relacionadas, un algoritmo es un conjunto finito y ordenado de instrucciones o reglas...

matemáticas y lógica, un bicondicional (equivalencia o doble implicación, en ocasiones parafraseado en español como si y solo si) es un operador lógico binario...

contradicción​ o ley de no contradicción,​ es un principio clásico de la lógica y la filosofía, según el cual una proposición ( A ) {\displaystyle (A)}...

La igualdad lógica es una conectiva lógica que corresponde a la igualdad en el álgebra de Boole y a la proposición bicondicional en lógica proposicional...

de agosto de 1834 - Cambridge, 4 de abril de 1923) fue un matemático y lógico británico miembro de la Real Sociedad de Londres. Es especialmente conocido...

esquemas usados en la teoría de conjuntos, tema de interés en matemáticas, lógica de clases y razonamiento diagramático. Estos diagramas muestran colecciones...

LVM​ es una implementación de un gestor de volúmenes lógicos para el núcleo Linux. Se escribió originalmente en 1998 por Heinz Mauelshagen, que se basó...

La monotonicidad de la implicación es una propiedad de muchos sistemas lógicos que afirma que las hipótesis de cualquier hecho derivado pueden extenderse...

incluso 0 (en cuyo caso la conclusión suele ser un teorema y una verdad lógica).​ Todos los hombres tienen cabello. David es hombre. Por lo tanto, David...

existenciales, una notación geométrica-topológica-lógica que Gardner consideraba "el más ambicioso sistema de lógica geométrica que se haya construido jamás".​...

inferencia válida de la lógica proposicional. La regla hace posible la introducción de una conjunción en una demostración lógica. Es la inferencia que una...

La intuición lógica, o la intuición matemática o la intuición racional, es el conjunto de previsión o anticipación instintiva, conocimiento y sabiduría...

Dilema destructivo​​​ es una regla de inferencia válida de lógica proposicional. Es una inferencia que dice que si P implica Q; y R implica S; y, o bien...

de 1989) fue un pedagogo y filósofo británico, promotor del positivismo lógico y divulgador en Inglaterra de la obra y de la filosofía del Círculo de Viena...

booleana y en la lógica matemática, donde cada una de las y lógicas (denotadas , | l a n d {\displaystyle ,|land\,} ) y de las o lógicas (denotadas , |...

En lógica, las reglas de reemplazo o reglas de sustitución​​​ son reglas de transformación que pueden ser aplicadas únicamente a un segmento particular...

sus variantes ha impulsado una enorme cantidad de trabajo en semántica, lógica y filosofía en general.​ Esta paradoja muestra que es posible construir...

dialeteísmo no es en sí mismo un sistema lógico, aunque adherirse al dialeteismo sin aceptar algún tipo de lógica paraconsistente es básicamente aceptar...

En lógica, especialmente en lógica matemática, una simbología enumera y describe los signos no lógicos de un lenguaje formal. En álgebra universal, enumera...

Township, Nueva Jersey, 9 de noviembre de 1997) fue un filósofo empirista lógico y epistemólogo. Se nacionalizó estadounidense. Fue el fundador del Modelo...

En lógica, una declaración puede ser: (a) una sentencia declarativa con significación que puede ser verdadera o falsa, o (b) una afirmación que es hecha...

discurso. El cálculo lógico natural como razonamiento es el primer cálculo elemental del ser humano. El cálculo en sentido lógico-matemático aparece cuando...

principio de explosión es un principio de la lógica clásica y de algunos otros sistemas lógicos (por ejemplo, la lógica intuicionista) según el cual de una proposición...

fama luego de publicar Introducción a la lógica (Introduction to Logic) y la Lógica informal (Informal Logic). Ambas obras se utilizan en la actualidad...

El género lógico es un concepto filosófico empleado en lógica y metafísica. Es un concepto que reúne una multiplicidad de individuos en una unidad conceptual...

fue uno de los lógicos y matemáticos más importantes del siglo XX. Sus trabajos tuvieron un fuerte papel en el desarrollo de la lógica, particularmente...

Rusia – 1936) fue un filósofo, precursor de la relevancia lógica y otras subestructuras lógicas, y un químico industrial. La fecha de su muerte es desconocida...

Pro Tools, Logic Pro, Ableton, Cubase y FL Studio, que a menudo se utilizan con plugins de tecnología de estudio virtual de terceros.​ Logic Pro y Pro...

En lógica, el accidente, falacia dicto simpliciter o un dicto simpliciter ad dictum secundum quid es una falacia que se comete al aplicar, de manera impropia...

En lógica matemática, cuantificación plural es la teoría que establece que una variable individual x puede representar tanto valores plurales, como singulares...

Rockaway, Queens, 25 de mayo de 1919-6 de febrero de 2017)​ fue un matemático, lógico, filósofo, mago, pianista y humorista estadounidense. Desde una edad temprana...

de 1969) fue un lógico y filósofo neozelandés. Prior fundó en 1957 la lógica temporal e hizo importantes contribuciones a la lógica intensional, particular...

énfasis que al principio puso en el análisis del lenguaje por medio de la lógica formal.​ En la segunda mitad del siglo, sin embargo, la filosofía analítica...

En matemáticas, lógica y ciencias de la computación, la teoría de tipos es cualquiera de varios sistemas formales que pueden servir como alternativas a...

En lógica proposicional y álgebra de Boole, las leyes de De Morgan​​​ son un par de reglas de transformación que son ambas reglas de inferencia válidas...

antiquitatem (también llamado apelación a la tradición) es una falacia lógica que consiste en afirmar que, si algo se ha venido haciendo o creyendo desde...

textos más importantes no sólo de Aristóteles sino también de la propia lógica, ya que en ese texto presenta el filósofo su teoría del silogismo. El texto...

En lógica, una contradicción es una incompatibilidad entre dos o más proposiciones. Por ejemplo, las oraciones «llueve y no llueve» y «ni llueve ni truena...

whether informal logic should be considered "real" logic. Today, informal logic enjoys a more conciliatory relationship with formal logic. Its attempt to...

En lógica de predicados, la ejemplificación existencial (también llamada eliminación existencial)​​​ es una regla de inferencia válida que dice que, dada...

algo que lo hacía oculto o no comprensible. En lógica, la implicación, también llamada implicación lógica, frecuentemente se simboliza formalmente como:...

Universidad Federal de Ceará, Brasil. Trabaja en el área de lógica, especialmente lógica universal y lógica paraconsistente. Obtuvo un doctorado en filosofía en...

(12 de septiembre de 1900 - 1 de septiembre de 1982) fue un matemático y lógico estadounidense.​ Nacido en Millis, Massachusetts, se educó en la Universidad...

K. Ogden. Posteriormente, usó esos conocimientos para leer el Tractatus Logico-Philosophicus de Wittgenstein. Le impresionó tanto, que en 1923 viajó a...

La lógica ingenua es el orden que la razón humana sigue naturalmente en sus pasos para conocer las cosas.​ La razón humana procede con un determinado ordenamiento...

Surround es la contraparte para codificación de la decodificación Dolby Pro Logic, pero las primeras implementaciones caseras del decodificador Dolby Surround...

Connecticut; 5 de enero de 1909-Madison, Wisconsin; 25 de enero de 1994) fue un lógico y matemático estadounidense. Introdujo la operación clausura de Kleene,...

del bicondicional es el nombre de dos reglas de inferencia válidas de la lógica proposicional. Esto nos permite inferir un condicional de un bicondicional...

Como razonamientos deductivos lógico-lingüísticos Como construcción de un sistema matemático puro Como una aplicación lógica en un Circuito de conmutación...

partir de la existencia de dicha propiedad en los otros.​ En el aspecto lógico, permite comparar un objeto con otros, en sus semejanzas y en sus diferencias...

En lógica matemática, el teorema de Löb establece que en una teoría con aritmética de Peano, para cualquier fórmula P, se puede demostrar que "si P es...

La compuerta AND o puerta AND es una puerta lógica digital que implementa la conjunción lógica, se comporta de acuerdo a la tabla de verdad mostrada a...

En lógica matemática, el teorema de Löwenheim-Skolem o teorema de Löwenheim-Skolem-Tarski es un teorema que establece que si una teoría de primer orden...

microinstrucciones. Unidad aritmético lógica (UAL), Arithmetic Logic Unit (ALU): lleva a cabo las operaciones aritméticas y lógicas. Unidad de control: históricamente...

En lógica de predicados, la instanciación universal​​​ (IU, también llamada especificación universal o eliminación universal, y veces confundida con dictum...

originalmente reconocidas por Aristóteles en sus Refutaciones sofísticas.​ En forma lógica: X es aceptado en un caso Y. Por lo tanto, X es una regla aceptada para...

categoría de haces sobre un espacio topológico. Tienen aplicaciones en lógica, donde cada topos define internamente una fundamentación de las matemáticas...

y la banda de pop rock Imagine Dragons, en colaboración con los raperos Logic, Ty Dolla $ign y la banda de rock alternativo X Ambassadors. Fue lanzada...

Carnielli (Campinas, Sao Paulo, Brasil, 11 de enero de 1952) es un matemático, lógico y filósofo brasileño. Comenzó sus estudios universitarios en la Universidad...

Lógicas más expresivas, tales como lógicas de mayor orden y modales, permiten expresar en forma adecuada un conjunto mayor de problemas que la lógica...

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...

filósofa, lógica y académica estadounidense, conocida por su trabajo en lógica modal y filosófica.​ Desarrolló los primeros sistemas formales de lógica modal...

Jersey, 27 de septiembre de 1903-1975) fue un filósofo, medievalista y lógico estadounidense. Fue profesor de filosofía en la Universidad de California...

1978), conocido como Kurt Gödel, fue un lógico, matemático y filósofo austríaco.​ Se le considera uno de los lógicos más importantes de todos los tiempos...

logicial, soporte lógico o programática​ al sistema formal de un sistema informático, que comprende el conjunto de los componentes lógicos necesarios que...

numéricos algebraicos. Su tutor fue Peter Gustav Dirichlet. Matemático y lógico, Kronecker defendía que la aritmética y el análisis deben estar fundados...

En lógica proposicional, la disyunción exclusiva (también llamado bidisyuntor lógico, disyuntor excluyente, «or» fuerte, «or» exclusivo, o desigualdad...

sonido en cualquier reproductor. Dolby Pro Logic, Dolby Pro Logic II, Dolby Pro Logic IIx, Dolby Pro Logic IIz. Dolby Stereo o simplemente Dolby Analog:...

programación en lógica funcional, basado en el lenguaje Haskell, que combina elementos de programación funcional y programación lógica. El programa es...

sea cierta o falsa.​​ La forma lógica de satisfacer este principio se llama lógica de dos valores o lógica bivalente.​​​ En la lógica formal, el principio de...

conocido como Ludwig Wittgenstein, fue un filósofo, matemático, lingüista y lógico austríaco, posteriormente nacionalizado británico. Su primera teoría plantea...

modo que, al afirmar, niega»)​ es una regla de inferencia válida de la lógica proposicional, a veces abreviado MPT.​ El modus ponendo tollens establece...

método de conversación o argumentación análoga a lo que actualmente se llama lógica. En el siglo XVIII el término adquirió un nuevo significado: la teoría de...

capacidades lógicas, uno para hacernos avanzar hacia las matemáticas superiores, y el otro que nos lleve hacia atrás, hacia los fundamentos lógicos de aquello...

En lógica matemática, un consecuente es un tipo muy general de afirmación condicional. A 1 , … , A m ⊢ B 1 , … , B n . {\displaystyle A_{1},\,\dots ,A_{m}\...

Dilema constructivo​​​ es una regla de inferencia válida de lógica proposicional. Es una inferencia que dice que si P implica Q; y R implica S; y, o bien...

Symbolic Logic 50 (1985), pp. 714--742 Principles of reflection and second-order logic, Journal of Philosophical Logic 16 (1987), pp. 309--333 Logic, ontology...

En matemáticas, lógica y física el término operador puede ser usado con diversas acepciones . En alguna versión, un operador es un símbolo matemático que...

(del griego antiguo όργανον, "instrumento") es un conjunto de obras de lógica escritas por Aristóteles y compiladas por Andrónico de Rodas siglos más...

2024),​ es un filósofo y lógico estadounidense que ha realizado importantes aportes en el campo de la filosofía de la lógica, lógica temporal, y teoría de...

Symbolic Logic, 1, 40-41. 1937a. Review of Turing 1936. Journal of Symbolic Logic, 2, 42-43. 1937b. Review of Post 1936. Journal of Symbolic Logic, 2, 43...

Laplace Su último libro, Probability Theory: The Logic of Science (Teoría de probabilidad: la lógica de la ciencia) aúna varias corrientes de pensamiento...

El teorema de completitud de Gödel es un importante teorema de la lógica matemática, que fue demostrado por primera vez por Kurt Gödel en 1929 y que en...

complementary metal-oxide-semiconductor (CMOS) es una de las familias lógicas empleadas en la fabricación de circuitos integrados. Su principal característica...

teórico, se originó en la década de los años 30 con los trabajos de los lógicos Church, Gödel, Kleene, Post y Turing. Téngase en cuenta que en aquellos...

hasta Jacques Lacan y Jacques Derrida. El interés de Hermann Weyl en la lógica intuicionista y en la impredicabilidad, por ejemplo, parece provenir del...

El direccionamiento de bloque lógico, en inglés logical block addressing (LBA), es un método muy común usado para especificar la localización de los bloques...

La puerta NAND, compuerta NAND o NOT AND es una puerta lógica que produce una salida falsa solamente si todas sus entradas son verdaderas; por tanto, su...

27 de junio de 1806 - Londres, 18 de marzo de 1871)​ fue un matemático y lógico británico nacido en la India. Profesor de matemáticas en el University College...

lógica de términos.​​ Para Aristóteles, la lógica era una herramienta necesaria para adentrarse en el mundo de la filosofía y la ciencia. Su lógica está...

En lógica, un concepto primitivo, concepto básico, concepto fundamental o noción primitiva es un concepto no definido en un contexto determinado.​ Particularmente...

Cambridge y el London School of Economics. Sus contribuiciones al estudio de la lógica paraconsistente son ampliamente celebradas en la comunidad internacional...

Una matriz de puertas lógicas programable en campo​​ o FPGA (del inglés field-programmable gate array), es un circuito integrado programable, que contiene...

Under Pressure es el álbum de debut del rapero americano Logic. Fue lanzado el 21 de octubre de 2014, por Visionary Music Group y Def Jam Recordings....

de 1646-Hannover, 14 de noviembre de 1716), fue un filósofo, matemático, lógico, polímata, teólogo, jurista, bibliotecario y diplomático. Fue uno de los...

distributio, epífrasis y epíteto. Las figuras lógicas son procedimientos que tienen que ver con las relaciones lógicas entre las ideas dentro de un texto; de...

fue un filósofo,​ lógico y científico estadounidense. Es considerado el fundador del pragmatismo y el padre de la semiótica lógica moderna o teoría de...

En lógica, non sequitur (del latín «no se sigue») es un argumento en el cual la conclusión no se deduce (no se sigue) de las premisas. En sentido amplio...

un lógico y filósofo polaco, asociado a la tradición de la Escuela de Leópolis-Varsovia.​Es conocido principalmente por la creación de la lógica no fregeana...

de 1994) fue una matemática y lógica polaca, especializada en lógica matemática, lógicas no clásicas y fundamentos lógicos de la informática. Fue profesora...

La lógica NOR hace referencia al hecho de que, debido a que la función NOR tiene una funcionalidad completa, al igual que ocurre con la puerta NAND, todos...

argentina-canadiense, reconocida entre los 15 fundadores del campo de la programación lógica.​ En 1975, obtuvo su licenciatura en Ciencia de la computación, por la Universidad...

Entscheidungsproblem (en español: problema de decisión) fue el reto en lógica simbólica de encontrar un algoritmo general que decidiese si una fórmula...

científicas​ y filosóficas.​ En filosofía lo necesario sería la justificación lógica como razón absoluta respecto al universo como totalidad de lo real, del...

1872-Penrhyndeudraeth, Gwynedd, 2 de febrero de 1970) fue un filósofo, matemático, lógico y escritor británico, ganador del Premio Nobel de Literatura. Como tercer...

Reino Unido. Sus principales investigaciones las realiza en filosofía de la lógica, metafísica, filosofía de la matemática y filosofía del lenguaje. Está particularmente...

británica. Ha escrito obras en diferentes ámbitos filosóficos, incluyendo lógica, filosofía del lenguaje, epistemología y metafísica. Su pragmatismo se desprende...

notación de prefijo o notación prefija, es una forma de notación para la lógica, la aritmética, el álgebra y la computación. Su característica distintiva...

La lógica es una ciencia formal que estudia los principios de la demostración y la inferencia válida. La palabra deriva del griego antiguo (λογική logikḗ)...

siguientes: Teorema de la deducción Consecuencia lógica Lógica proposicional Robert L. Causey, Logic, sets, and recursion, Jones and Barlett, 2006. (en...

La puerta NOR o compuerta NOR es una puerta lógica digital que implementa la disyunción lógica negada, se comporta de acuerdo a la tabla de verdad mostrada...

existenciales (en inglés: existential graphs) al sistema lógico y de notación creado por el lógico y filósofo norteamericano Charles Sanders Peirce. El sistema...

1977) fue un matemático suizo que hizo importantes contribuciones a la lógica matemática, la teoría de conjuntos axiomáticos y la filosofía de las matemáticas...

cine en casa. Pro Logic II es capaz de generar un sonido surround para sistemas Home Cinema 5.1 desde una fuente estéreo. Pro Logic IIx es un formato...

Lógica de relaciones, es el estudio formal de las propiedades y operaciones de las relaciones (binarias), iniciado por Charles Sanders Peirce entre 1879...

cambios de estados ocurren al ritmo natural asociado a las compuertas lógicas utilizadas en su implementación, sin la necesidad de que esté presente...

trabajo a veces se denomina Lógica o Lógica Menor para distinguirla de la Lógica Mayor, el apodo dado a la Ciencia de la lógica de Hegel. La Enciclopedia...

humana) y no la propia realidad. El empirismo lógico, también llamado neopositivismo o positivismo lógico, es una corriente en la filosofía de la ciencia...

Los teoremas de incompletitud de Gödel son dos célebres teoremas de lógica matemática demostrados por Kurt Gödel en 1931. Ambos están relacionados con...

Berto (Venecia, 1973), también conocido como Franz Berto, es un filósofo y lógico italiano.​​ Berto estudió filosofía en la Università Ca' Foscari de Venecia...

más conocido por su seudónimo Lewis Carroll, fue un diácono anglicano, lógico, matemático, fotógrafo y escritor británico. Sus obras más conocidas son...

del idioma inglés. Se refiere a una maniobra de distracción,​ una falacia lógica que desvía la atención del tema tratado.​​ Es conocida como falacia de la...

En lógica, una proposición categórica, o declaración categórica, es una proposición que afirma o niega que todos o algunos de los miembros de una categoría...

herramientas lógicas y semánticas: la concepción semántica de Alfred Tarski (Convención T, definiciones recursivas por referencia/satisfacción), las lógicas no...

compañía separa de Lucent Technologies en 2002, Agere se fusionó con LSI Logic formado LSI Corporation en 2007.​​​​ Agere nace el 1 de agosto de 2000 como...

paradigma de la programación lógica. Es un lenguaje fuertemente tipado, con un sistema de tipos basado en many-sorted logic con polimorfismo parametrizado...

cree verdadera se conoce como conjetura. Las demostraciones emplean la lógica pero normalmente incluyen una buena parte de lenguaje natural, el cual usualmente...

neotomista inglés. Sus áreas de interés fueron historia de la filosofía, lógica filosófica, teoría de la identidad, y filosofía de la religión. Está considerado...

voluntad (1859). En 1860 fue nombrado por la Corona británica catedrático de lógica y literatura inglesa en la Universidad de Aberdeen cargo en el cual se mantuvo...

grado de pertenencia es una proposición en el contexto de la lógica difusa, y no de la lógica usual binaria, que solo admite dos valores: cierto o falso...

la experiencia. La lógica empírica es la base del razonamiento empírico y por lo tanto del método empírico. Esta visión de la lógica proviene de la Antigua...

En lógica, el condicional estricto es un condicional material sobre el que opera un operador de necesidad. Dadas dos proposiciones cualquiera A y B, la...

polaco. Desde su formación tomista se especializó en lógica, tanto en lógica clásica como en lógica formal moderna.​ Nació en Czuszów (Polonia) en 1902...

El sistema B, C, K, W es una variante de lógica combinatoria que toma como primitivas a los combinadores B, C, K, y W. Este sistema fue propuesto originalmente...

Por otro lado, los circuitos integrados de la serie 74XX son circuitos lógicos (combinacionales o secuenciales) que se pueden utilizar para una multiplicidad...

(Lexington, 25 de noviembre de 1906 – 25 de enero de 2001) fue una escritora, lógica y filósofa estadounidense. Ambrose nació en Lexington y se quedó huérfana...

septiembre de 1925 - Rio Claro, 12 de junio de 1993) fue un matemático, lógico, educador e investigador brasileño. Desarrolló su vida académica principalmente...

En la lógica proposicional,una fórmula proposicional es un tipo de fórmula sintáctica la cual está bien formada y tiene un valor verdadero. Si los valores...

La lógica proposicional describe las formas en que podemos combinar enunciados (también llamados proposiciones) verdaderos para producir otros enunciados...

Kleinen, 26 de julio de 1925) fue un matemático, lógico y filósofo alemán. Se le considera el padre de la lógica matemática y de la filosofía analítica, concentrándose...

Lógica del sentido (en su francés original: Logique du sens) es un libro publicado en 1969 por el filósofo francés Gilles Deleuze. Fue traducida al español...

Síntesis de lógica - traducción de descripción de diseño de RTL (p. ej. escrito en Verilog o VHDL) a una lisa de nodos discreto de puertas de lógica. Captura...

semi-intuicionista de Zermelo-Frankel que acepta la lógica clásica para cuantificadores acotados, pero usa la lógica intuicionista para cuantificadores no acotados...

La lógica NAND hace referencia al hecho de que, debido a que la función NAND tiene una funcionalidad completa, todos los sistemas lógicos se pueden convertir...

inválidos y engañosos (véase Lógica. Richard Ortiz Ortiz, Quito. Publicita 2012). Argumento (lógica) Validez lógica Consecuencia lógica Conclusión repugnante...

El PARLOG (de PARallel LOGic) es un lenguaje de programación lógica similar al Prolog. La diferencia sustancial es que en parlog se define un encabezado...

argumento ad novitatem (también llamada apelación a la novedad) es una falacia lógica que sostiene que una idea es correcta o mejor simplemente por ser más moderna...

matemáticas, lógica matemática y filosofía de las matemáticas. Se la conoce sobre todo por sus esfuerzos por restaurar la investigación de la lógica matemática...

Jaśkowski (Varsovia, 22 de abril de 1906 – 16 de noviembre de 1965) fue un lógico y matemático polaco, considerado uno de los principales representantes de...

En lógica, una sentencia atómica es un tipo de sentencia declarativa que puede ser verdadera o falsa (también puede ser referido como una proposición,...

miembro en la All Souls College. En 1979 se convirtió en Wykeham Professor de Lógica de Oxford, puesto que mantuvo hasta su retiro en 1992. Durante este período...

general. Fue uno de los fundadores de la teoría de la demostración, la lógica matemática y la distinción entre matemática y metamatemática. Adoptó y defendió...

destructivo libro Lógica Formal. En esta secuela, Logic for Use, Schiller intentó construir una nueva lógica para reemplazar la lógica formal que había...

California Press, 1972. La lógica peripatética: la obra de Eudemo de Rodas y la de Teofrasto de Ereso (Peripatetic Logic: The Work of Eudemus of Rhodes...

std_logic; b : in std_logic; c : in std_logic; d : in std_logic; an : inout std_logic; bn : inout std_logic; cn : inout std_logic; dn : inout std_logic;...

de agosto de 1955) es un filósofo y lógico británico, conocido por sus contribuciones a la epistemología, la lógica filosófica, la metafísica, la filosofía...

circunstancia. Esta falacia se presenta de dos modos: como falacia lógica y como falacia no lógica; analizaremos estos dos usos a continuación. El uso del argumentum...

alemán Carl Hempel en la década de 1940 para ilustrar un problema donde la lógica inductiva desafía a la intuición. Esta paradoja se conoce también como paradoja...

partidos. Partido de la Liberación Dominicana. Dispositivo lógico programable (Programmable Logic Device), en electrónica. PLD Space, una compañía española...

involucran conceptos abstractos como la lógica o las matemáticas y están gobernadas por las certezas de la implicación lógica de la deducción, los segundos derivan...

siglo III a. C.​ Es una filosofía de ética personal basada en su sistema lógico y sus puntos de vista sobre el mundo natural. Los estoicos creían que todo...

características esenciales de un objeto. La abstracción es uno de los mecanismos lógicos fundamentales para formar conceptos. Es importante el valor que tiene la...

LogicLocker es un ransomware que afecta a los Controladores lógicos programables (PLC) utilizados en los Sistemas de control industrial (ICS).​ Descrito...

Social Cost También es de importancia el libro de 1965 de Mancur Olson: The Logic of Collective Action: Public Goods and the Theory of Groups. La teoría de...

esperanza de crear un lenguaje que se pudiera utilizar en el marco del cálculo lógico universal o Calculus ratiocinator.​​ La universalis characteristica es un...

(Krefeld, 26 de junio de 1878 - Berlín, 5 de mayo de 1957) fue un matemático y lógico alemán. Era hijo del profesor de matemática Detmold Louis Löwenheim y la...

ciencia, la filosofía de la mente, la metafísica, la epistemología y la lógica.​ Lewis nació en Oberlin, Ohio, en 1941. Estudió en el Swarthmore College...

matemático, lógico y profesor universitario argentino. Sus principales áreas de investigación fueron la lógica matemática, la lógica algebraica, la lógica plurivalente...

noviembre de 1913 - Vancouver, 22 de agosto de 1975) fue un matemático y lógico polaco. Fue una de las principales figuras de la Escuela de Leópolis-Varsovia...

Peña y Gonzalo (Alicante, 29 de agosto de 1944) es un filósofo, jurista, lógico y pensador político español. Su racionalismo es un sistema neo-leibniziano...

tropo proviene del griego τρέπω (trepō), que significa cambiar, alterar. En lógica se llamaba tropos de los pirrónicos a los argumentos dados por los filósofos...

1956 en Nueva Delhi, India) es un lógico y matemático con doble nacionalidad, argentina y alemana, profesor de lógica y epistemología en la Universidad...

En lógica, un conjunto funcionalmente completo de conectivas lógicas u operadores booleanos es aquel que puede ser usado para expresar todas las tablas...

intereses de investigación incluyen metafísica, epistemología, lógica, filosofía del lenguaje, lógica intensional, filosofía de las matemáticas y filosofía de...

originalmente fabricados en tecnología TTL (lógica transistor-transistor o en inglés transistor-transistor logic), que forman una subfamilia de semiconductores...

su sistema lógico.​ Para Marx y Engels la filosofía hegeliana tenía un carácter revolucionario,​ que fundaba la lógica dialéctica como lógica del movimiento...

capacidades intelectuales. El razonamiento deductivo o deducción es el proceso lógico que consiste en obtener inferencias deductivas. Una inferencia es deductivamente...

afiliados en el resto del mundo. El tema Amphetamine Logic fue publicado inicialmente con el nombre de "Logic", ya que una ley británica prohibía el uso de nombres...

El procesamiento de imágenes mediante lógica difusa es una técnica informática que, de acuerdo a esta teoría, permite manipular imágenes en formato digital...

profesor adjunto de Alexander Bain, quien ocupaba la Cátedra Regius de Lógica y la Cátedra Regius de Literatura Inglesa en la Universidad de Aberdeen...

80, Vickers comenzó a desarrollar trabajos como académico en el campo de lógica geométrica, escribiendo más de 30 artículos en revistas especializadas en...

Círculo se vio influido por la fundamentada crítica de Popper y, de hecho, La lógica de la investigación científica (en alemán Logik der Forschung), principal...

(solo-lectura). Soporte NTFS, pero no en discos Serial ATA (SATA). Partition Logic es una herramienta de particionamiento de discos y administrador de datos...

fundamentalmente diferentes (procedente del griego poli = muchos + logos = lógica).​ El término se atribuye a Ludwig von Mises,​ quien afirmó que describía...

matemática brasileña, lógica, y científica informática asociada con comunicaciones de matiz. Su trabajo incluye búsqueda en aproximaciones lógicas a computación...

en Londres, en 1939, el cual trataba sobre las Teorías del Positivismo Lógico. Hasta 1940 permaneció allí, y fue precisamente esa fecha cuando aceptó...

unos compuestos de partida asequibles, mediante una secuencia de pasos lógicos donde cada vez las estructuras precursoras son más sencillas. Síntesis...

de programación lógico-funcional, es decir, integra "soluciones puras" y computación con información parcial. ​ Es un lenguaje lógico funcional que está...

videojuego de acción, aventura y de mundo abierto producido por el estudio Re-Logic. Se caracteriza por la exploración, la construcción de objetos, de estructuras...

sitting now elogia al economista anarquista alemán Silvio Gesell.​ Maybe Logic: The Lives and Ideas of Robert Anton Wilson, un documental sobre la vida...

asume íntima y universalmente como ciertos. Estos son descritos por la lógica que es la disciplina encargada de descubrir las reglas que rigen la razón...

de pensamiento y la metafísica.​ A veces se confunde con clase lógica o un todo-lógico en la metafísica: distribuido o no-distribuido, como si fuera un...

resultados públicos negativos. Manifestó vivo interés por las llamadas «lógicas no ortodoxas». Empieza a publicar estudios en 1941, con Sentido del movimiento...

1941.​ Estudió en España, Alemania y Estados Unidos. Obtuvo la cátedra de Lógica y Filosofía de la Ciencia en la Universidad de Barcelona. Desde 1996 fue...

Erlangen de filosofía. Escribió con Kamlah su famoso libro "Propedéutica lógica" ("Logische Propädeutik") y trabajó en semántica del juego (en "Dialogische...

The Ontological Argument (1972) Traducción y comentarios a parte de la lógica de Aristóteles, Posterior Analytics (1975), edición revisada en 1994. Presocratic...

de especialidad e interés son la bioética, la teoría de los sistemas, la lógica, las matemáticas, la antropología filosófica y las filosofías de la tecnología...

matemáticas como los sistemas formales, que utilizan símbolos y reglas lógicas para describir algoritmos y estructuras de datos, así como en modelos teóricos...

Hermann Lotze (21 de mayo de 1817 - 1 de julio de 1881) fue un filósofo y lógico alemán. También contaba con un grado de médico y era muy versado en biología...

Unidad aritmético lógica o unidad de cálculo (del inglés: Arithmetic Logic Unit o ALU): realiza operaciones aritméticas y lógicas. Unidad de control...

implicación material son un conjunto de fórmulas de la lógica proposicional, reconocidas como verdades lógicas, pero que golpean al sentido común como cuestionables...

(29 de agosto de 1904, Harbin – 15 de enero de 1987, Breslavia) fue un lógico y matemático polaco, vinculado a la Escuela de Leópolis-Varsovia y posteriormente...

Ucrania))-17 de marzo de 1964 (Boston, Massachusetts, EE. UU.)) fue un lógico estadounidense. Henry Maurice Sheffer fue un judío polaco nacido en el oeste...

inglés: William of Ockham) (c.1287-9 de abril de 1347) fue un filósofo, lógico, teólogo y fraile franciscano inglés, conocido principalmente por ser el...

esto no ocurre con todos los programas, ya que, por ejemplo, iTunes y Logic Express, siguen de forma adecuada exportando sus archivos en AIFF. Este...

denominados "0" y "1". A menudo, el "0" lógico es un voltaje más bajo y se denomina "Bajo", mientras que el "1" lógico se denomina "Alto". Sin embargo, algunos...

creadas para referirse a DataBase systems and Logic Programming (Sistemas de bases de datos y programación lógica), pero actualmente se entienden como Digital...

fue un filósofo indio del siglo V y VI, reformador y fundador de la nueva lógica budista en lengua sánscrita. Se le considera uno de los mayores comentadores...

que significa literalmente 'reducción al absurdo', es uno de los métodos lógicos de demostración más usado en matemáticas para demostrar la validez (o invalidez)...

que es: que existe y muestra su existencia. Sustancia segunda es la clase lógica que enuncia mediante un discurso lo que es: el atributo de la sustancia...

bien tertium non datur (“una tercera cosa no se da”), es un principio de lógica clásica según el cual si existe una proposición que afirma algo, y otra...

Logique et Analyse es una revista académica internacional de lógica y filosofía, revisada por pares y publicada por Peeters Publishers en connivencia con...

En lógica, el silogismo hipotético es una forma de argumento válido que consiste en un silogismo con una sentencia condicional para una o ambas de sus...

años, John comenzó el cuidadoso estudio de la lógica escolástica al tiempo que leía los tratados lógicos de Aristóteles en su lengua original. Al año siguiente...

principal y canción de apertura de su segundo álbum de estudio, Pretzel Logic (1974). Fue el sencillo más exitoso en toda la carrera de la banda, alcanzando...

Una teoría (del griego: theōría​) es un sistema lógico-deductivo (o inductivo)​ constituido por un conjunto de hipótesis, un campo de aplicación (de lo...

la forma en que se obtienen y se presentan conclusiones a través de la lógica, es decir, mediante premisas. Incluye el arte y la ciencia del debate civil...

en lógica matemática y teoría de modelos. Manzano se doctoró en 1977 en la Universidad de Barcelona, con la tesis Sistemas generales de la lógica de Segundo...

Lo que significa que la lógica y la física son necesarias para conseguir la virtud. O son virtudes en sí mismas: la lógica es la virtud de saber a cuáles...

matemático, de la lógica, ahora conocido como lógica informal.​ Su publicación más conocida en esa área es su libro de texto Logic and Contemporary Rhetoric:...

es un filósofo contemporáneo dedicado a la filosofía de las matemáticas, lógica y teoría de la decisión. Obtuvo su B.A en Matemáticas y Filosofía en la...

lenguaje C. ThreadX fue originalmente desarrollado y vendido por Express Logic de San Diego, California, Estados Unidos. El autor de ThreadX es William...

la escuela lógica de Paris.​ Como estudiante de Adam du Petit-Pont, también conocido como Adam Parvipontanus, perteneció a la escuela lógica llamada de...

La teoría de conjuntos es una rama de la lógica matemática que estudia las propiedades y relaciones de los conjuntos: colecciones abstractas de objetos...

como Summulae logicalis magistri Petri Hispani, un importante manual de lógica aristotélica que se utilizó en las universidades medievales europeas desde...

niega, se llama predicado. Antoine Arnauld, La Lógica de Port-Royal, (1662), Lógica, II.3, página 82. La lógica de Port Royal basada fundamentalmente en la...

las herramientas más populares son: Adobe Audition, Sound Forge, Nuendo, Logic, Sonar. Los editores diseñados para usarse con voces añaden la posibilidad...

lógica, por vía del nominalismo y el conceptualismo. Es reconocido por la crítica moderna como uno de los grandes genios de la historia de la lógica,...

Principia Mathematica und verwandter Systeme I») es un artículo acerca de lógica matemática escrito por Kurt Gödel. El artículo, con fecha de 17 de noviembre...

La lógica del escorpión es el decimocuarto álbum de estudio del cantautor argentino Charly García.​ Dado a conocer por el artista, fue publicado el 11...

historia de la lógica.​ De 1980 a 2002 fue coordinador de la sección de revisiones del Journal of Symbolic Logic de la Association for Symbolic Logic.​ Herbert...

mayoría de la programación de lógica inductiva, que usan lenguajes como Prolog y otras representaciones lógicas como lógica descriptiva han sido los paradigmas...

Philippe Roussel a partir de 1972, creando la base de la nueva Programación lógica. Alrededor de 1980, fue uno de los asesores principales del proyecto japonés...

septiembre de 1929; Florianópolis, 16 de abril de 2024)​ fue un matemático, lógico y filósofo brasileño. Nacido en Curitiba, estudió ingeniería civil y matemáticas...