44 relaciones: Abraham Fraenkel, Ad hoc, Alan Turing, Analogía, Antigua Grecia, Ars magna, Axiomas de Zermelo-Fraenkel, Órganon, Bertrand Russell, Calímaco, Casa de la Sabiduría, Ciencias de la computación, Cortes de Dedekind, David Hilbert, Demostración automática de teoremas, Demostración interactiva de teoremas, Edad Media, Ernst Zermelo, Escolástica, Filosofía, Función computable, Georg Cantor, Gottfried Leibniz, Gottlob Frege, Incertidumbre, Inferencia bayesiana, Informática, Inteligencia artificial, Kurt Gödel, Lógica difusa, Lógica no monotónica, Lógica proposicional, Racionalismo, Ramon Llull, Razonamiento, Razonamiento abductivo, Razonamiento inductivo, Renacimiento del siglo XII, René Descartes, Richard Dedekind, Roger Bacon, Software, Teoría de la computación, Verificación.
Abraham Fraenkel
Abraham Halevi «Adolf» Fraenkel (אברהם הלוי "אדולף" פרנקל; Múnich, 17 de febrero de 1891 - Jerusalén, 15 de octubre de 1965) fue un lógico y matemático alemán nacionalizado israelí.
¡Nuevo!!: Razonamiento automático y Abraham Fraenkel · Ver más »
Ad hoc
Ad hoc es una locución latina que significa literalmente «para esto».
¡Nuevo!!: Razonamiento automático y Ad hoc · 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!!: Razonamiento automático y Alan Turing · Ver más »
Analogía
Una analogía (del griego αναλογíα, ana ‘reiteración o comparación’ y logos ‘estudio’) es una comparación o relación entre varias cosas, razones o conceptos; comparar o relacionar dos o más seres u objetos a través de la razón; señalando características generales y particulares comunes que permiten justificar la existencia de una propiedad en uno, a partir de la existencia de dicha propiedad en los otros.
¡Nuevo!!: Razonamiento automático y Analogía · Ver más »
Antigua Grecia
Las locuciones antigua Grecia y Grecia antigua (griego clásico: Ἀρχαία Ἑλλάς; neogriego: Αρχαία Ελλάδα; latín: Graecia antiqua) se refieren al período de la historia griega que abarca desde la Edad Oscura de Grecia, comenzando en el año 1200a.
¡Nuevo!!: Razonamiento automático y Antigua Grecia · Ver más »
Ars magna
Artis magnae, sive de regulis algebraicis, más conocido como Ars magna (en latín, Gran obra), es un importante libro de matemática escrito originalmente en latín por Gerolamo Cardano en 1545.
¡Nuevo!!: Razonamiento automático y Ars magna · Ver más »
Axiomas de Zermelo-Fraenkel
En lógica y matemáticas, los axiomas de Zermelo-Fraenkel, formulados por Ernst Zermelo y Adolf Fraenkel, son un sistema axiomático concebido para formular la teoría de conjuntos.
¡Nuevo!!: Razonamiento automático y Axiomas de Zermelo-Fraenkel · Ver más »
Órganon
El Órganon (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 tarde.
¡Nuevo!!: Razonamiento automático y Órganon · 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!!: Razonamiento automático y Bertrand Russell · Ver más »
Calímaco
Calímaco puede referirse a.
¡Nuevo!!: Razonamiento automático y Calímaco · Ver más »
Casa de la Sabiduría
La Casa de la Sabiduría o Casa del Saber, también conocida como la Gran Biblioteca de Bagdad, fue una importante universidad, biblioteca pública como sede de traducciones y centro intelectual, establecido durante la época del Califato abasí en Bagdad, Irak.
¡Nuevo!!: Razonamiento automático y Casa de la Sabiduría · 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!!: Razonamiento automático y Ciencias de la computación · Ver más »
Cortes de Dedekind
Las cortaduras de Dedekind son clases de números racionales que representan la primera construcción formal del conjunto de los números reales.
¡Nuevo!!: Razonamiento automático y Cortes de Dedekind · 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!!: Razonamiento automático y David Hilbert · Ver más »
Demostración automática de teoremas
La demostración automática de teoremas (de siglas ATP, por el término en inglés: Automated theorem proving), que también puede ser denominada deducción automatizada, es actualmente el subcampo más desarrollado del razonamiento automático, y se encarga de la demostración de teoremas matemáticos mediante programas de ordenador.
¡Nuevo!!: Razonamiento automático y Demostración automática de teoremas · Ver más »
Demostración interactiva de teoremas
La demostración interactiva de teoremas es un campo de la ciencia computacional y la lógica matemática relativo a las herramientas para desarrollar pruebas formales para la colaboración hombre-máquina.
¡Nuevo!!: Razonamiento automático y Demostración interactiva de teoremas · Ver más »
Edad Media
La Edad Media, Medievo o Medioevo es el período histórico de la civilización occidental comprendido entre los siglos y. Convencionalmente, su inicio se sitúa en el año 476 con la caída del Imperio romano de Occidente y su fin en 1492 con el descubrimiento de América, o en 1453 con la caída del Imperio bizantino, fecha que tiene la singularidad de coincidir con la invención de la imprenta —publicación de la Biblia de Gutenberg— y con el fin de la guerra de los Cien Años.
¡Nuevo!!: Razonamiento automático y Edad Media · Ver más »
Ernst Zermelo
Ernst Friedrich Ferdinand Zermelo (Berlín, 27 de julio de 1871 - 21 de mayo de 1953) fue un lógico y matemático alemán.
¡Nuevo!!: Razonamiento automático y Ernst Zermelo · Ver más »
Escolástica
La escolástica —palabra originada en el latín medieval scholasticus, a través del latín tardío scholastĭcus «erudito», «escolar» como préstamo del griego σχολαστικός, scholastikós «ocio, tiempo libre»— es una corriente teológica y filosófica medieval que utilizó parte de la filosofía grecolatina clásica para comprender la revelación religiosa del cristianismo.
¡Nuevo!!: Razonamiento automático y Escolástica · Ver más »
Filosofía
La filosofía (del griego ‘amor a la sabiduría’, derivado de, fileîn, ‘amar’, y, sofía, ‘sabiduría’; trans. en latín como philosophĭa) es una disciplina académica y «conjunto de reflexiones sobre la esencia, las propiedades, las causas y los efectos de las cosas naturales, especialmente sobre el hombre y el universo».
¡Nuevo!!: Razonamiento automático y Filosofía · Ver más »
Función computable
Las funciones computables son el objeto básico de estudio de la teoría de la computabilidad y son, específicamente, las funciones que pueden ser calculadas por una máquina de Turing.
¡Nuevo!!: Razonamiento automático y Función computable · 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!!: Razonamiento automático y Georg Cantor · 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!!: Razonamiento automático 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!!: Razonamiento automático y Gottlob Frege · Ver más »
Incertidumbre
La incertidumbre se refiere a anomalías epistémicas que implican información imperfecta o desconocida.
¡Nuevo!!: Razonamiento automático e Incertidumbre · Ver más »
Inferencia bayesiana
La inferencia bayesiana es un tipo de inferencia estadística en la que las evidencias u observaciones se emplean para actualizar o inferir la probabilidad de que una hipótesis pueda ser cierta.
¡Nuevo!!: Razonamiento automático e Inferencia bayesiana · Ver más »
Informática
La informática, también llamada computación, es el área de la ciencia que se encarga de estudiar la administración de métodos, técnicas y procesos con el fin de almacenar, procesar y transmitir información y datos en formato digital.
¡Nuevo!!: Razonamiento automático e Informática · Ver más »
Inteligencia artificial
La inteligencia artificial (IA), en el contexto de las ciencias de la computación, es una disciplina y un conjunto de capacidades cognoscitivas e intelectuales expresadas por sistemas informáticos o combinaciones de algoritmos cuyo propósito es la creación de máquinas que imiten la inteligencia humana para realizar tareas, y que pueden mejorar conforme recopilen información.
¡Nuevo!!: Razonamiento automático e Inteligencia artificial · 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!!: Razonamiento automático y Kurt Gödel · 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!!: Razonamiento automático y Lógica difusa · Ver más »
Lógica no monotónica
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.
¡Nuevo!!: Razonamiento automático y Lógica no monotónica · 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!!: Razonamiento automático y Lógica proposicional · Ver más »
Racionalismo
El racionalismo es una corriente filosófica que acentúa el papel de la razón en la adquisición del conocimiento.
¡Nuevo!!: Razonamiento automático y Racionalismo · Ver más »
Ramon Llull
Ramon Llull (Palma de Mallorca, c. 1232-Palma de Mallorca, 1316), también conocido como Raimundo Lulio en castellano, Raimundus o Raymundus Lullus en latín, como رامون لول en árabe, como Raymond Lully por los ingleses, Raimondo Lullo por los italianos o como Raymond Lulle por los franceses, fue un laico próximo a los franciscanos (pudo haber pertenecido a la Orden Tercera de San Francisco), filósofo, poeta, místico, teólogo y misionero mallorquín.
¡Nuevo!!: Razonamiento automático y Ramon Llull · 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!!: Razonamiento automático y Razonamiento · Ver más »
Razonamiento abductivo
El razonamiento abductivo (del latín abdūctiō y esta palabra de ab, desde lejos, y dūcere, llevar) es un tipo de razonamiento que, a partir de la descripción de un hecho o fenómeno, ofrece o llega a una hipótesis que explica las posibles razones o motivos del hecho mediante las premisas obtenidas.
¡Nuevo!!: Razonamiento automático y Razonamiento abductivo · Ver más »
Razonamiento inductivo
El razonamiento inductivo o inducción es una forma de razonamiento en que la verdad de las premisas apoyan la conclusión, pero no la garantizan.
¡Nuevo!!: Razonamiento automático y Razonamiento inductivo · Ver más »
Renacimiento del siglo XII
El Renacimiento del hace referencia a la serie de cambios económicos, sociales, políticos, ideológicos y culturales que afrontó Europa durante el.
¡Nuevo!!: Razonamiento automático y Renacimiento del siglo XII · Ver más »
René Descartes
René Descartes (latinización: Renatus Cartesius; onomástico del que se deriva el adjetivo cartesiano; La Haye en Touraine, 31 de marzo de 1596-Estocolmo, 11 de febrero de 1650) fue un filósofo, matemático y físico francés considerado el padre de la geometría analítica y la filosofía moderna, así como uno de los protagonistas con luz propia en el umbral de la revolución científica.
¡Nuevo!!: Razonamiento automático y René Descartes · Ver más »
Richard Dedekind
Julius Wilhelm Richard Dedekind (6 de octubre de 1831-12 de febrero de 1916) fue un matemático alemán.
¡Nuevo!!: Razonamiento automático y Richard Dedekind · Ver más »
Roger Bacon
Roger Bacon (Ilchester, c. 1214-Oxford, 1294) fue un filósofo, protocientífico y teólogo escolástico inglés, de la orden franciscana (tradicionalmente, su nombre se cita seguido por las siglas O.F.M.). Es conocido por el sobrenombre de Doctor Mirabilis (‘Doctor Admirable’, en latín).
¡Nuevo!!: Razonamiento automático y Roger Bacon · 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!!: Razonamiento automático y Software · 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!!: Razonamiento automático y Teoría de la computación · Ver más »
Verificación
En el sentido más general, la verificación es la comprobación de algo.
¡Nuevo!!: Razonamiento automático y Verificación · Ver más »
Redirecciona aquí:
Razonamiento automatico, Razonamiento automatizado.