¡Más rápido que el navegador!
132 relaciones: Academic Press, Adición (matemática), Alan Turing, Alfred North Whitehead, Alfred Tarski, Algoritmo, Alonzo Church, Argumento, Aristóteles, Augustus De Morgan, Axioma, Axioma de elección, Axiomas de Peano, Ámsterdam, Bertrand Russell, Boston, Calculus ratiocinator, Cambridge (Massachusetts), Cambridge University Press, Cálculo, Cálculo lambda, Cálculo proposicional de Frege, Chapman & Hall, Charles Sanders Peirce, Cibernética, Ciencia, Ciencias de la computación, Clarence Irving Lewis, Computadora, Concepto primitivo, Condicional estricto, Conjunto, David Hilbert, Deducción natural, Definición (matemática), Demostración en matemática, Diagrama de Venn, Dinámica de sistemas, Dordrecht, Elsevier, Emergencia (filosofía), Emil Leon Post, Entscheidungsproblem, Ernst Schröder, Fórmula bien formada, Filosofía de las matemáticas, Función indicatriz, Fundamentos de las matemáticas, Georg Cantor, George Boole, ..., Gerhard Gentzen, Giuseppe Peano, Gottfried Leibniz, Gottlob Frege, Gramática formal, Hardware, Harvard University Press, Haskell Curry, Hipótesis del continuo, Inferencia, Isomorfismo, J. L. Austin, Jan Łukasiewicz, Jerarquía de Chomsky, Johann Heinrich Lambert, John Venn, Kurt Gödel, Lógica, Lógica aristotélica, Lógica combinatoria, Lógica de clases, Lógica de primer orden, Lógica difusa, Lógica informal, Lógica intuicionista, Lógica lineal, Lógica modal, Lógica proposicional, Leipzig, Lengua natural, Lenguaje de programación, Lenguaje formal, Leyes de De Morgan, Logicismo, Madrid, Matemáticas, Mathematics Subject Classification, Mathematische Annalen, Múnich, Mereología, Metalógica, Metamatemática, Multiplicación, Número, Noam Chomsky, Notación matemática, Nueva York, Operación (matemática), Oxford University Press, Paradoja de Russell, Pensamiento sistémico, Principia Mathematica, Proceedings of the London Mathematical Society, Programa de Hilbert, Programación funcional, Programación lógica, Propedéutica, RAND, Razonamiento, Realimentación, Representación del conocimiento, Santa Mónica (California), Semántica, Singapore, Sistema complejo, Sistema dinámico, Sistema formal, Software, Solomon Feferman, Springer Science+Business Media, Stephen Kleene, Teoría de conjuntos, Teoría de la computabilidad, Teoría de la computación, Teoría de la demostración, Teoría de modelos, Teoría de sistemas, Teorema de Cantor, Teoremas de incompletitud de Gödel, Tesis de Church-Turing, Valor de verdad, Verificación de modelos. Expandir índice (82 más) »
Academic Press
Academic Press (Londres, Oxford, Boston, Nueva York y San Diego) es una editorial de libros académicos que forma parte de la compañía editorial Elsevier.
¡Nuevo!!: Lógica matemática y Academic Press · Ver más »
Adición (matemática)
La adición o suma es la operación matemática de composición que consiste en combinar o añadir dos números o más para obtener una cantidad final o total.
¡Nuevo!!: Lógica matemática y Adición (matemática) · Ver más »
Alan Turing
Alan Mathison Turing (Paddington, Londres; 23 de junio de 1912-Wilmslow, Cheshire; 7 de junio de 1954) fue un matemático, lógico, informático teórico, criptógrafo, filósofo y biólogo teórico británico.
¡Nuevo!!: Lógica matemática y Alan Turing · Ver más »
Alfred North Whitehead
Alfred North Whitehead, OM, MRS (15 de febrero de 1861- 30 de diciembre de 1947) fue un matemático y filósofo inglés.
¡Nuevo!!: Lógica matemática y Alfred North Whitehead · Ver más »
Alfred Tarski
Alfred Tarski -originalmente Alfred Teitelbaum- (14 de enero de 1901—26 de octubre de 1983) fue un lógico, matemático y filósofo polaco.
¡Nuevo!!: Lógica matemática y Alfred Tarski · Ver más »
Algoritmo
En matemáticas, lógica, ciencias de la computación y disciplinas relacionadas, un algoritmo (probablemente del latín tardío algorithmus, y este del árabe clásico ḥisābu lḡubār, que significa «cálculo mediante cifras arábigas») es un conjunto de instrucciones o reglas definidas y no-ambiguas, ordenadas y finitas que permite, típicamente, solucionar un problema, realizar un cómputo, procesar datos y llevar a cabo otras tareas o actividades.
¡Nuevo!!: Lógica matemática y Algoritmo · Ver más »
Alonzo Church
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.
¡Nuevo!!: Lógica matemática y Alonzo Church · Ver más »
Argumento
Un argumento (del latín argumentum) es la expresión oral o escrita de un razonamiento o idea mediante el cual se intenta probar, refutar o incluso justificar una proposición o tesis.
¡Nuevo!!: Lógica matemática y Argumento · Ver más »
Aristóteles
Aristóteles (en griego antiguo: Ἀριστοτέλης; en griego moderno: Αριστοτέλης; en latín: Aristoteles; Estagira, 384 a. C.-Calcis, 322 a. C.) fue un filósofo, polímata y científico griego nacido en la ciudad de Estagira, al norte de la Antigua Grecia.
¡Nuevo!!: Lógica matemática y Aristóteles · Ver más »
Augustus De Morgan
Augustus De Morgan (Madurai, India; 27 de junio de 1806 - Londres, 18 de marzo de 1871) fue un matemático y lógico británico nacido en la India.
¡Nuevo!!: Lógica matemática y Augustus De Morgan · Ver más »
Axioma
Axioma es una proposición tan clara y evidente que se admite sin demostración.
¡Nuevo!!: Lógica matemática y Axioma · Ver más »
Axioma de elección
En teoría de conjuntos, el axioma de elección (o axioma de escogencia), es un axioma que postula que para cada familia de conjuntos no vacíos, existe otro conjunto que contiene un elemento de cada uno de aquellos.
¡Nuevo!!: Lógica matemática y Axioma de elección · Ver más »
Axiomas de Peano
Los axiomas de Peano o postulados de Peano son un sistema de axiomas de segundo orden para la aritmética ideados por el matemático Giuseppe Peano en el, para definir los números naturales.
¡Nuevo!!: Lógica matemática y Axiomas de Peano · Ver más »
Ámsterdam
Ámsterdam (Amsterdam) es la capital de los Países Bajos.
¡Nuevo!!: Lógica matemática y Ámsterdam · Ver más »
Bertrand Russell
Bertrand Arthur William Russell (Trellech, Monmouthshire; 18 de mayo de 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.
¡Nuevo!!: Lógica matemática y Bertrand Russell · Ver más »
Boston
Boston (pronunciado en inglés /ˈbɒstən/) es la capital y ciudad más poblada de la Mancomunidad de Massachusetts, y una de las ciudades más antiguas de los Estados Unidos.
¡Nuevo!!: Lógica matemática y Boston · Ver más »
Calculus ratiocinator
El Calculus ratiocinator es un concepto ideado por el filósofo y matemático alemán Gottfried Leibniz con el fin de establecer un marco teórico universal para el cálculo lógico.
¡Nuevo!!: Lógica matemática y Calculus ratiocinator · Ver más »
Cambridge (Massachusetts)
Cambridge es una ciudad ubicada en el condado de Middlesex en el estado de Massachusetts, Estados Unidos.
¡Nuevo!!: Lógica matemática y Cambridge (Massachusetts) · Ver más »
Cambridge University Press
Cambridge University Press (conocida en inglés coloquialmente como CUP) es una editorial que recibió su Royal Charter de la mano de Enrique VIII en 1534, y es considerada una de las dos editoriales privilegiadas de Inglaterra (la otra es la Oxford University Press).
¡Nuevo!!: Lógica matemática y Cambridge University Press · Ver más »
Cálculo
En general el término cálculo (del latín calculus, piedrecita, usado para contar o como ayuda al calcular) hace referencia al resultado correspondiente a la acción de calcular.
¡Nuevo!!: Lógica matemática y Cálculo · Ver más »
Cálculo lambda
En lógica matemática, el cálculo lambda es un sistema formal diseñado para investigar la definición de función, la noción de aplicación de funciones y la recursión.
¡Nuevo!!: Lógica matemática y Cálculo lambda · Ver más »
Cálculo proposicional de Frege
Cálculo proposicional de Frege, en la Lógica matemática, el cálculo proposicional de Frege fue la primera axiomatización del cálculo proposicional.
¡Nuevo!!: Lógica matemática y Cálculo proposicional de Frege · Ver más »
Chapman & Hall
Chapman & Hall fue una editorial británica, con sede en Londres, fundada durante la primera mitad del por Edward Chapman y William Hall.
¡Nuevo!!: Lógica matemática y Chapman & Hall · Ver más »
Charles Sanders Peirce
Charles Sanders Peirce (purse en inglés) (Cambridge, Massachusetts, 10 de septiembre de 1839-Milford, Pensilvania, 19 de abril de 1914) fue un filósofo, lógico y científico estadounidense.
¡Nuevo!!: Lógica matemática y Charles Sanders Peirce · Ver más »
Cibernética
La cibernética es el estudio interdisciplinario de la estructura de los sistemas reguladores.
¡Nuevo!!: Lógica matemática y Cibernética · Ver más »
Ciencia
La ciencia (del latín scientĭa, 'conocimiento') es un conjunto de conocimientos sistemáticos comprobables que estudian, explican y predicen los fenómenos sociales, artificiales y naturales.
¡Nuevo!!: Lógica matemática y Ciencia · Ver más »
Ciencias de la computación
Las ciencias de la computación estudian los fundamentos teóricos de la información y el cómputo, junto con técnicas prácticas para la implementación y aplicación de estos fundamentos teóricos.
¡Nuevo!!: Lógica matemática y Ciencias de la computación · Ver más »
Clarence Irving Lewis
Clarence Irving Lewis (12 de abril de 1883, Stoneham Massachusetts - 3 de febrero de 1964 Cambridge), usualmente citado como C. I. Lewis, fue un filósofo y catedrático estadounidense, fundador del pragmatismo conceptual.
¡Nuevo!!: Lógica matemática y Clarence Irving Lewis · Ver más »
Computadora
Computadora, computador u ordenador es una máquina electrónica digital programable que ejecuta una serie de comandos para procesar los datos de entrada, obteniendo convenientemente información que posteriormente se envía a las unidades de salida.
¡Nuevo!!: Lógica matemática y Computadora · Ver más »
Concepto primitivo
En lógica, un concepto primitivo, concepto básico, concepto fundamental o noción primitiva es un concepto no definido en un contexto determinado.
¡Nuevo!!: Lógica matemática y Concepto primitivo · Ver más »
Condicional estricto
En lógica, el condicional estricto es un condicional material sobre el que opera un operador de necesidad.
¡Nuevo!!: Lógica matemática y Condicional estricto · Ver más »
Conjunto
En matemáticas, un conjunto es una colección de elementos considerada en sí misma como un objeto matemático.
¡Nuevo!!: Lógica matemática y Conjunto · Ver más »
David Hilbert
David Hilbert (Königsberg, Prusia Oriental; 23 de enero de 1862-Gotinga, Alemania; 14 de febrero de 1943) fue un matemático alemán, reconocido como uno de los más influyentes del y principios del XX.
¡Nuevo!!: Lógica matemática y David Hilbert · Ver más »
Deducción natural
La deducción natural es una aproximación a la teoría de la demostración en la que se busca capturar la manera en que las personas razonan naturalmente al construir demostraciones matemáticas.
¡Nuevo!!: Lógica matemática y Deducción natural · Ver más »
Definición (matemática)
En matemática, definición, en términos generales, es delimitar, o sea, indicar, expresar el límite que separa un objeto de todos los demás.
¡Nuevo!!: Lógica matemática y Definición (matemática) · Ver más »
Demostración en matemática
En matemáticas, una demostración o bien una prueba es un argumento deductivo para asegurar la verdad de una proposición matemática.
¡Nuevo!!: Lógica matemática y Demostración en matemática · Ver más »
Diagrama de Venn
Los diagramas de Venn son esquemas usados en la teoría de conjuntos, tema de interés en matemáticas, lógica de clases y razonamiento diagramático.
¡Nuevo!!: Lógica matemática y Diagrama de Venn · Ver más »
Dinámica de sistemas
La dinámica de sistemas es una metodología para analizar y modelar el comportamiento temporal en entornos complejos.
¡Nuevo!!: Lógica matemática y Dinámica de sistemas · Ver más »
Dordrecht
Dordrecht es una ciudad y también un municipio de la Holanda Meridional, en los Países Bajos.
¡Nuevo!!: Lógica matemática y Dordrecht · Ver más »
Elsevier
Elsevier es una empresa de análisis global de Información (anteriormente sólo era editorial académica) con sede en los Países Bajos que se especializa en contenido científico, técnico y médico.
¡Nuevo!!: Lógica matemática y Elsevier · Ver más »
Emergencia (filosofía)
La emergencia o el surgimiento hace referencia a aquellas propiedades o procesos de un sistema no reducibles a las propiedades o procesos de sus partes constituyentes.
¡Nuevo!!: Lógica matemática y Emergencia (filosofía) · Ver más »
Emil Leon Post
Emil Leon Post (11 de febrero de 1897 en Augustów - 21 de abril de 1954 en Nueva York) fue un matemático estadounidense.
¡Nuevo!!: Lógica matemática y Emil Leon Post · Ver más »
Entscheidungsproblem
En ciencias de la computación y matemáticas, el 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 del cálculo de primer orden es un teorema.
¡Nuevo!!: Lógica matemática y Entscheidungsproblem · Ver más »
Ernst Schröder
Ernst Schröder (Mannheim, 25 de noviembre de 1841 – Karlsruhe, 16 de junio de 1902) fue un matemático alemán, conocido especialmente por sus trabajos sobre lógica algebraica.
¡Nuevo!!: Lógica matemática y Ernst Schröder · Ver más »
Fórmula bien formada
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 generada según una gramática formal a partir de un alfabeto dado.
¡Nuevo!!: Lógica matemática y Fórmula bien formada · Ver más »
Filosofía de las matemáticas
La filosofía de las matemáticas es un área de la filosofía teórica que trata de comprender y explicar los requisitos, el objeto, el método y la naturaleza de las matemáticas.
¡Nuevo!!: Lógica matemática y Filosofía de las matemáticas · Ver más »
Función indicatriz
En matemáticas, una función indicatriz o función característica, es una función definida sobre un conjunto \ X que indica la pertenencia o no en un subconjunto \ A de \ X.
¡Nuevo!!: Lógica matemática y Función indicatriz · Ver más »
Fundamentos de las matemáticas
Los fundamentos de las matemáticas son el estudio de conceptos matemáticos básicos como números, figuras geométricas, conjuntos, funciones, etc.
¡Nuevo!!: Lógica matemática y Fundamentos de las matemáticas · Ver más »
Georg Cantor
Georg Ferdinand Ludwig Philipp Cantor (San Petersburgo, 3 de marzo de 1845 - Halle, 6 de enero de 1918), conocido como Georg Cantor, fue un matemático nacido en Rusia, nacionalizado alemán, de ascendencia austríaca y judía.
¡Nuevo!!: Lógica matemática y Georg Cantor · Ver más »
George Boole
George Boole (Lincoln, Lincolnshire, Inglaterra, 2 de noviembre de 1815-Ballintemple, Condado de Cork, Irlanda, 8 de diciembre de 1864) fue un matemático y lógico británico.
¡Nuevo!!: Lógica matemática y George Boole · Ver más »
Gerhard Gentzen
Gerhard Gentzen (Greifswald, Alemania, 24 de noviembre de 1909 - Praga, República Checa, 4 de agosto de 1945) fue un matemático y lógico alemán.
¡Nuevo!!: Lógica matemática y Gerhard Gentzen · Ver más »
Giuseppe Peano
Giuseppe Peano (Spinetta, 27 de agosto de 1858 - Turín, 20 de abril de 1932) fue un matemático, lógico y filósofo italiano, conocido por sus contribuciones a la lógica matemática y la teoría de números.
¡Nuevo!!: Lógica matemática y Giuseppe Peano · Ver más »
Gottfried Leibniz
Gottfried Wilhelm Leibniz, a veces Gottfried Wilhelm von Leibniz (Leipzig, 1 de julio de 1646-Hannover, 14 de noviembre de 1716), fue un polímata, filósofo, matemático, lógico, teólogo, jurista, bibliotecario y político alemán.
¡Nuevo!!: Lógica matemática y Gottfried Leibniz · Ver más »
Gottlob Frege
Friedrich Ludwig Gottlob Frege (Wismar, 8 de noviembre de 1848 - Bad Kleinen, 26 de julio de 1925) fue un matemático, lógico y filósofo alemán.
¡Nuevo!!: Lógica matemática y Gottlob Frege · Ver más »
Gramática formal
Una gramática formal es una estructura lógico-matemática con un conjunto de reglas de formación que definen las cadenas de caracteres admisibles en un determinado lenguaje formal o lengua natural.
¡Nuevo!!: Lógica matemática y Gramática formal · Ver más »
Hardware
El hardware, equipo o soporte físico en informática se refiere a las partes físicas, tangibles, de un sistema informático, sus componentes eléctricos, electrónicos y electromecánicos.
¡Nuevo!!: Lógica matemática y Hardware · Ver más »
Harvard University Press
Harvard University Press (HUP) es una editorial fundada el 13 de enero de 1913, como una división de la Universidad de Harvard, y especializada en publicaciones académicas.
¡Nuevo!!: Lógica matemática y Harvard University Press · Ver más »
Haskell Curry
Haskell Brooks Curry (12 de septiembre de 1900 - 1 de septiembre de 1982) fue un matemático y lógico estadounidense.
¡Nuevo!!: Lógica matemática y Haskell Curry · Ver más »
Hipótesis del continuo
En teoría de conjuntos, la hipótesis del continuo (también conocida como primer problema de Hilbert) es un enunciado relativo a la cardinalidad del conjunto de los números reales, formulado como una hipótesis por Georg Cantor en 1878.
¡Nuevo!!: Lógica matemática e Hipótesis del continuo · Ver más »
Inferencia
La inferencia es el proceso por el cual se derivan conclusiones a partir de premisas o hipótesis iniciales.
¡Nuevo!!: Lógica matemática e Inferencia · Ver más »
Isomorfismo
En matemáticas, un isomorfismo (del griego iso-morfos: Igual forma) es un homomorfismo (o más generalmente un morfismo) que admite un inverso.
¡Nuevo!!: Lógica matemática e Isomorfismo · Ver más »
J. L. Austin
John Langshaw Austin, (Lancaster, Reino Unido, 28 de marzo de 1911 - Oxford, 8 de febrero de 1960) fue un filósofo británico, una de las figuras más relevantes en lo que se ha dado en llamar filosofía del lenguaje.
¡Nuevo!!: Lógica matemática y J. L. Austin · Ver más »
Jan Łukasiewicz
Jan Łukasiewicz (21 de diciembre de 1878 - 13 de febrero de 1956) fue un matemático, lógico y filósofo polaco que nació en Leópolis, Galitzia (actual Ucrania).
¡Nuevo!!: Lógica matemática y Jan Łukasiewicz · Ver más »
Jerarquía de Chomsky
En lingüística la jerarquía de Chomsky (ocasionalmente también llamada la jerarquía de Chomsky–Schützenberger) es una clasificación jerárquica de distintos tipos de gramáticas formales que generan lenguajes formales.
¡Nuevo!!: Lógica matemática y Jerarquía de Chomsky · Ver más »
Johann Heinrich Lambert
Johann Heinrich Lambert, o Jean-Henri Lambert (Mülhausen, 26 de agosto de 1728-Berlín, 25 de septiembre de 1777), fue un matemático, físico, astrónomo y filósofo alemán de origen francés.
¡Nuevo!!: Lógica matemática y Johann Heinrich Lambert · Ver más »
John Venn
John Venn (Kingston upon Hull, 4 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.
¡Nuevo!!: Lógica matemática y John Venn · Ver más »
Kurt Gödel
Kurt Friedrich Gödel (Brünn, Imperio austrohúngaro, actual República Checa, 28 de abril de 1906-Princeton, Estados Unidos; 14 de enero de 1978), conocido como Kurt Gödel, fue un lógico, matemático y filósofo austríaco.
¡Nuevo!!: Lógica matemática y Kurt Gödel · Ver más »
Lógica
La lógica es una rama de la filosofía de carácter interdisciplinario, entendida como la ciencia formal que estudia los principios de la demostración y la inferencia válida, las falacias, las paradojas y la noción de verdad.
¡Nuevo!!: Lógica matemática y Lógica · Ver más »
Lógica aristotélica
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 lógica.
¡Nuevo!!: Lógica matemática y Lógica aristotélica · Ver más »
Ló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 la computabilidad (el estudio de qué puede ser computado) y la teoría de la prueba (el estudio de qué se puede probar matemáticamente).
¡Nuevo!!: Lógica matemática y Lógica combinatoria · Ver más »
Lógica de clases
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 propiedad.
¡Nuevo!!: Lógica matemática y Lógica de clases · Ver más »
Lógica de primer orden
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 la inferencia en los lenguajes de primer orden.
¡Nuevo!!: Lógica matemática y Lógica de primer orden · Ver más »
Lógica difusa
La lógica difusa (también llamada lógica borrosa (fuzzy logic)) es una lógica paraconsistente multivaluada en la cual los valores de verdad de las variables pueden ser cualquier número real comprendido entre 0 y 1.
¡Nuevo!!: Lógica matemática y Lógica difusa · Ver más »
Lógica informal
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.
¡Nuevo!!: Lógica matemática y Lógica informal · Ver más »
Lógica intuicionista
La lógica intuicionista, o lógica constructivista, es el sistema lógico originalmente desarrollado por Arend Heyting para proveer una base formal para el proyecto intuicionista de Brouwer.
¡Nuevo!!: Lógica matemática y Lógica intuicionista · Ver más »
Lógica lineal
La lógica lineal es un proceso analítico cuyo orden es invariable, y donde no se aceptan errores.
¡Nuevo!!: Lógica matemática y Lógica lineal · Ver más »
Lógica modal
Una lógica modal es un sistema formal que intenta capturar el comportamiento deductivo de algún grupo de operadores modales.
¡Nuevo!!: Lógica matemática y Lógica modal · Ver más »
Lógica proposicional
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 representan proposiciones o enunciados, y cuyas constantes lógicas, llamadas conectivas lógicas, representan operaciones sobre proposiciones, capaces de formar otras proposiciones de mayor complejidad.
¡Nuevo!!: Lógica matemática y Lógica proposicional · Ver más »
Leipzig
Leipzig o Lipsia, en castellano arcaico (y en italiano, con origen en el Latín), es una ciudad alemana en el noroeste del estado de Sajonia, con 616.093 habitantes en diciembre de 2022 o 624.689 (según el registro civil en diciembre de 2022).
¡Nuevo!!: Lógica matemática y Leipzig · Ver más »
Lengua natural
Una lengua natural es una variedad lingüística o forma de lenguaje humano generada espontáneamente en un grupo de hablantes con propósito de comunicarse, a diferencia de otras lenguas, como puedan ser una lengua construida, los lenguajes de programación o los lenguajes formales usados en el estudio de la lógica formal, especialmente la lógica matemática.
¡Nuevo!!: Lógica matemática y Lengua natural · Ver más »
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, en este caso el programador, la capacidad y habilidad de escribir (o programar) una serie de instrucciones o secuencias de órdenes en forma de algoritmos con el fin de controlar el comportamiento físico o lógico de un sistema informático, para que de esa manera se puedan obtener diversas clases de datos o ejecutar determinadas tareas.
¡Nuevo!!: Lógica matemática y Lenguaje de programación · Ver más »
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 están formalmente especificadas.
¡Nuevo!!: Lógica matemática y Lenguaje formal · Ver más »
Leyes de De Morgan
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.
¡Nuevo!!: Lógica matemática y Leyes de De Morgan · Ver más »
Logicismo
En filosofía de las matemáticas, el logicismo es la doctrina que sostiene que la matemática es en algún sentido importante reducible a la lógica, o en otras palabras que las matemáticas son básicamente una extensión de la lógica.
¡Nuevo!!: Lógica matemática y Logicismo · Ver más »
Madrid
Madrid es un municipio y una ciudad de España.
¡Nuevo!!: Lógica matemática y Madrid · Ver más »
Matemáticas
Las matemáticas, o también la matemática, La palabra «matemáticas» no está en el Diccionario de la Real Academia Española.
¡Nuevo!!: Lógica matemática y Matemáticas · Ver más »
Mathematics Subject Classification
La Clasificación Matemática por Temas, conocida por sus siglas en inglés como MSC (Mathematics Subject Classification) es un esquema de clasificación alfanumérico colaborativo producida por el personal de las dos principales bases de datos de revisión matemáticas: Mathematical Reviews (MRDB) y Zentralblatt MATH (ZMATH).
¡Nuevo!!: Lógica matemática y Mathematics Subject Classification · Ver más »
Mathematische Annalen
El Mathematische Annalen (abreviado como Math. Ann. o Math. Annal.) es una revista científica matemática alemana publicada por Springer Science+Business Media.
¡Nuevo!!: Lógica matemática y Mathematische Annalen · Ver más »
Múnich
Múnich (en austrobávaro Minga) es la capital del estado federado de Baviera, la tercera ciudad de Alemania por número de habitantes después de Berlín y Hamburgo y la undécima de la Unión Europea.
¡Nuevo!!: Lógica matemática y Múnich · Ver más »
Mereología
En filosofía, la mereología (del griego antiguo μέρος, "parte") es el estudio de las relaciones entre partes, tanto de las partes con el todo, como de las partes con otras partes.
¡Nuevo!!: Lógica matemática y Mereología · Ver más »
Metalógica
La metalógica es la rama de la lógica que estudia las propiedades y los componentes de los sistemas formales.
¡Nuevo!!: Lógica matemática y Metalógica · Ver más »
Metamatemática
La metamatemática es el estudio matemático de los fundamentos de las matemáticas que surge como disciplina en el.
¡Nuevo!!: Lógica matemática y Metamatemática · Ver más »
Multiplicación
La multiplicación es una operación binaria y derivada de la suma que se establece en un conjunto numérico.
¡Nuevo!!: Lógica matemática y Multiplicación · Ver más »
Número
Un número es un concepto abstracto que se emplea para contar (cantidades), medir (magnitudes) y etiquetar.
¡Nuevo!!: Lógica matemática y Número · Ver más »
Noam Chomsky
Avram Noam Chomsky (Filadelfia, 7 de diciembre de 1928) es un lingüista, filósofo, politólogo y activista estadounidense de origen judío.
¡Nuevo!!: Lógica matemática y Noam Chomsky · Ver más »
Notación matemática
La matemática se apoya en un lenguaje simbólico formal, la notación matemática, que sigue una serie de convenciones propias.
¡Nuevo!!: Lógica matemática y Notación matemática · Ver más »
Nueva York
Nueva York (New York), oficialmente New York City o por las siglas NYC, es la ciudad más poblada de los Estados Unidos y una de las más pobladas del mundo, con un área urbana de 24 millones de habitantes.
¡Nuevo!!: Lógica matemática y Nueva York · Ver más »
Operación (matemática)
Una operación matemática es una función sobre una tupla y que obtiene un resultado, aplicando unas reglas preestablecidas sobre la tupla.
¡Nuevo!!: Lógica matemática y Operación (matemática) · Ver más »
Oxford University Press
Oxford University Press (OUP) es la casa editorial de mayor reconocimiento en el Reino Unido y una de las más prestigiosas a nivel mundial.
¡Nuevo!!: Lógica matemática y Oxford University Press · Ver más »
Paradoja de Russell
La paradoja de Russell o paradoja del barbero, acreditada a Bertrand Russell, demuestra que la teoría original de conjuntos formulada por Cantor y Frege es contradictoria.
¡Nuevo!!: Lógica matemática y Paradoja de Russell · Ver más »
Pensamiento sistémico
El pensamiento sistémico busca comprender y analizar de manera ordenada y completa las interacciones entre las variables de un sistema o de varios subsistemas o elementos interrelacionados y que se exprese en términos de retroalimentación.
¡Nuevo!!: Lógica matemática y Pensamiento sistémico · Ver más »
Principia Mathematica
Principia mathematica es un conjunto de tres libros con las bases de la matemática escritos por Bertrand Russell y Alfred North Whitehead y publicados entre 1910 y 1913.
¡Nuevo!!: Lógica matemática y Principia Mathematica · Ver más »
Proceedings of the London Mathematical Society
Proceedings of the London Mathematical Society es una revista científica de revisión por pares especializada en matemática.
¡Nuevo!!: Lógica matemática y Proceedings of the London Mathematical Society · Ver más »
Programa de Hilbert
En matemáticas, el Programa de Hilbert, formulado por el matemático alemán David Hilbert en la década de 1920, fue una solución propuesta ante la crisis fundacional de las matemáticas, en épocas en que en los primeros intentos por clarificar los fundamentos de la matemática contenían paradojas e inconsistencias.
¡Nuevo!!: Lógica matemática y Programa de Hilbert · Ver más »
Programación funcional
En informática, la programación funcional es un paradigma de programación declarativa basado en el uso de verdaderas funciones matemáticas.
¡Nuevo!!: Lógica matemática y Programación funcional · Ver más »
Programación lógica
La programación lógica es un tipo de paradigma de programación dentro del paradigma de programación declarativa.
¡Nuevo!!: Lógica matemática y Programación lógica · Ver más »
Propedéutica
La propedéutica (del griego πρó, que significa ‘antes’, y παιδευτικóς, ‘referente a la enseñanza’, donde παιδóς significa ‘niño’) es el conjunto de saberes necesarios para preparar el estudio de una materia, ciencia o disciplina.
¡Nuevo!!: Lógica matemática y Propedéutica · Ver más »
RAND
La Corporación RAND (Research ANd Development) (en español Investigación y Desarrollo) es una organización sin ánimo de lucro, un laboratorio de ideas y un grupo de académicos expertos en análisis y formulación de políticas.
¡Nuevo!!: Lógica matemática y RAND · Ver más »
Razonamiento
En sentido amplio, se entiende por razonamiento a la facultad que permite resolver problemas, extraer conclusiones y aprender de manera consciente de los hechos, estableciendo conexiones causales y lógicas necesarias entre ellos.
¡Nuevo!!: Lógica matemática y Razonamiento · Ver más »
Realimentación
La realimentación —también referida de forma común como retroalimentación— es un mecanismo por el cual una cierta proporción de la salida de un sistema se redirige a la entrada, con señales de controlar su comportamiento.
¡Nuevo!!: Lógica matemática y Realimentación · Ver más »
Representación del conocimiento
La representación del conocimiento y el razonamiento es un área de la inteligencia artificial cuyo objetivo fundamental es representar el conocimiento de una manera que facilite la inferencia (sacar conclusiones) a partir de dicho conocimiento.
¡Nuevo!!: Lógica matemática y Representación del conocimiento · Ver más »
Santa Mónica (California)
Santa Mónica, fundada el 3 de agosto de 1769, es un distrito de la ciudad de Los Ángeles.
¡Nuevo!!: Lógica matemática y Santa Mónica (California) · Ver más »
Semántica
El término semántica se refiere al estudio de diversos aspectos del significado, sentido o interpretación de signos lingüísticos como símbolos, palabras, expresiones o representaciones formales.
¡Nuevo!!: Lógica matemática y Semántica · Ver más »
Singapore
Singapore puede referirse a.
¡Nuevo!!: Lógica matemática y Singapore · Ver más »
Sistema complejo
Un sistema complejo está compuesto por varias partes interconectadas o entrelazadas cuyos vínculos crean información adicional no visible ante el observador como resultado de las interacciones entre elementos.
¡Nuevo!!: Lógica matemática y Sistema complejo · Ver más »
Sistema dinámico
Un sistema dinámico es un sistema cuyo estado evoluciona con el tiempo.
¡Nuevo!!: Lógica matemática y Sistema dinámico · Ver más »
Sistema formal
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, que se utiliza para deducir o demostrar teoremas y dar una definición rigurosa del concepto de demostración.
¡Nuevo!!: Lógica matemática y Sistema formal · Ver más »
Software
Se conoce como software, logicial o soporte lógico al sistema formal de un sistema informático, que comprende el conjunto de los componentes lógicos necesarios que hace posible la realización de tareas específicas, en contraposición a los componentes físicos que son llamados hardware.
¡Nuevo!!: Lógica matemática y Software · Ver más »
Solomon Feferman
Solomon Feferman (13 de diciembre de 1928-26 de julio de 2016) 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.
¡Nuevo!!: Lógica matemática y Solomon Feferman · Ver más »
Springer Science+Business Media
Springer Science+Business Media o Springer es una editorial global que publica libros, libros electrónicos y publicaciones científicas de revisión por pares relacionados con ciencia, tecnología y medicina (STM: science, technical & medical).
¡Nuevo!!: Lógica matemática y Springer Science+Business Media · Ver más »
Stephen Kleene
Stephen Cole Kleene (Hartford, Connecticut; 5 de enero de 1909-Madison, Wisconsin; 25 de enero de 1994) fue un lógico y matemático estadounidense.
¡Nuevo!!: Lógica matemática y Stephen Kleene · Ver más »
Teoría de conjuntos
La teoría de conjuntos es una rama de laNlab lógica matemática que estudia las propiedades y relaciones de los conjuntos: colecciones abstractas de objetos, consideradas como objetos en sí mismas.
¡Nuevo!!: Lógica matemática y Teoría de conjuntos · Ver más »
Teoría de la computabilidad
La teoría de la computabilidad o teoría de la recursión es la parte de la computación que estudia los problemas de decisión que se pueden resolver con un algoritmo o equivalentemente con una máquina de Turing.
¡Nuevo!!: Lógica matemática y Teoría de la computabilidad · Ver más »
Teoría de la computación
La teoría de la computación o teoría de la informática es un conjunto de conocimientos racionales y sistematizados que se centran en el estudio de la abstracción de los procesos, con el fin de reproducirlos con ayuda de sistemas formales; es decir, a través de símbolos y reglas lógicas.
¡Nuevo!!: Lógica matemática y Teoría de la computación · Ver más »
Teoría de la demostración
La teoría de la demostración o teoría de la prueba es una rama de la lógica matemática que trata a las demostraciones como objetos matemáticos, facilitando su análisis mediante técnicas matemáticas.
¡Nuevo!!: Lógica matemática y Teoría de la demostración · Ver más »
Teoría de modelos
En matemática, teoría de modelos es el estudio de (clases de) estructuras matemáticas tales como grupos, cuerpos, grafos, o incluso universos de teoría de conjuntos, en relación con las teorías axiomáticas y la lógica matemática.
¡Nuevo!!: Lógica matemática y Teoría de modelos · Ver más »
Teoría de sistemas
La teoría de sistemas o teoría general de sistemas (TGS) es el estudio interdisciplinario de los sistemas en general.
¡Nuevo!!: Lógica matemática y Teoría de sistemas · Ver más »
Teorema de Cantor
El teorema de Cantor, de Georg Cantor, es un resultado formalizable en la teoría de conjuntos de Zermelo-Fränkel, que afirma lo siguiente: Para conjuntos finitos, se puede ver que el teorema de Cantor es verdadero mediante una simple enumeración del número de subconjuntos.
¡Nuevo!!: Lógica matemática y Teorema de Cantor · Ver más »
Teoremas de incompletitud de Gödel
Los teoremas de incompletitud de Gödel son dos célebres teoremas de lógica matemática demostrados por Kurt Gödel en 1931.
¡Nuevo!!: Lógica matemática y Teoremas de incompletitud de Gödel · Ver más »
Tesis de Church-Turing
En teoría de la computabilidad, la tesis de Church-Turing formula hipotéticamente la equivalencia entre los conceptos de función computable y máquina de Turing, que expresado en lenguaje corriente vendría a ser "todo algoritmo es equivalente a una máquina de Turing".
¡Nuevo!!: Lógica matemática y Tesis de Church-Turing · Ver más »
Valor de verdad
En lógica, un valor de verdad es un valor que indica en qué medida una declaración es verdad.
¡Nuevo!!: Lógica matemática y Valor de verdad · Ver más »
Verificación de modelos
La verificación de modelos (o Model checking) es un método automático de verificación de un sistema formal, en la mayoría de las ocasiones derivado del hardware o del software de un sistema informático.
¡Nuevo!!: Lógica matemática y Verificación de modelos · Ver más »
Redirecciona aquí:
Logica formal, Logica matematica, Logica matemática, Logica simbolica, Logica simbólica, Lógica formal, Lógica matematica, Lógica simbólica, Vocabulario (logica), Vocabulario (lógica), Vocabulario(Logica).
