Study with the several resources on Docsity
Earn points by helping other students or get them with a premium plan
Prepare for your exams
Study with the several resources on Docsity
Earn points to download
Earn points by helping other students or get them with a premium plan
Community
Ask the community for help and clear up your study doubts
Discover the best universities in your country according to Docsity users
Free resources
Download our free guides on studying techniques, anxiety management strategies, and thesis advice from Docsity tutors
PRESENTACION DE LOGICA EN LA EDAD CONTEMPORANEA Y SUS REPRESENTANTES
Typology: Slides
1 / 23
This page cannot be seen from the preview
Don't miss anything!
Integrantes: Jorge Enrique Mamani Calderón 2019- Eddy Marce Arizaca 2018- Integrantes: Jorge Enrique Mamani Calderón 2019- Eddy Marce Arizaca 2018-
RepresentantesRepresentantes (^) Augustus De Morgan (^) George Boole (^) William Stanley Jevons (^) Jhon Venn (^) Gottlob Frege (^) Guiseppe Peano. (^) David Hilbert (^) Georg F. Cantor. (^) Augustus De Morgan (^) George Boole (^) William Stanley Jevons (^) Jhon Venn (^) Gottlob Frege (^) Guiseppe Peano. (^) David Hilbert (^) Georg F. Cantor.
Augustus De MorganAugustus De Morgan
George BooleGeorge Boole
AporteAporte (^) Fue de los primeros ingleses en escribir sobre lógica, Boole señaló la analogía entre los símbolos algebraicos y los que pueden representar formas lógicas y silogismos. (^) Con Boole en 1847 y 1854 comenzó el álgebra de la lógica, o lo que ahora se llama álgebra de Boole. El original y notable método simbólico general de inferencia lógica de Boole, completamente expuesto en Laws of Thought (1854) (^) Fue de los primeros ingleses en escribir sobre lógica, Boole señaló la analogía entre los símbolos algebraicos y los que pueden representar formas lógicas y silogismos. (^) Con Boole en 1847 y 1854 comenzó el álgebra de la lógica, o lo que ahora se llama álgebra de Boole. El original y notable método simbólico general de inferencia lógica de Boole, completamente expuesto en Laws of Thought (1854)
AporteAporte (^) Construyó la primera máquina lógica (^) que tuvo capacidad suficiente para resolver un problema complicado en un menor tiempo que el requerido para resolver ese mismo problema sin la ayuda de la máquina. (^) Ostento la cátedra de "profesor de lógica y filosofía mental y moral" en la Universidad de Manchester. (^) Construyó la primera máquina lógica (^) que tuvo capacidad suficiente para resolver un problema complicado en un menor tiempo que el requerido para resolver ese mismo problema sin la ayuda de la máquina. (^) Ostento la cátedra de "profesor de lógica y filosofía mental y moral" en la Universidad de Manchester.
Jhon VennJhon Venn
Gottlob FregeGottlob Frege (^) En su libro Begriffsschrift (1879) extendió la lógica formal más allá de la lógica proposicional para incluir constructores como "todo" y "algunos". Mostró cómo introducir variables y cuantificadores para revelar la estructura lógica de las oraciones, que podría estar ocultas tras su estructura gramatical. (^) En su libro Begriffsschrift (1879) extendió la lógica formal más allá de la lógica proposicional para incluir constructores como "todo" y "algunos". Mostró cómo introducir variables y cuantificadores para revelar la estructura lógica de las oraciones, que podría estar ocultas tras su estructura gramatical.
Por ejemplo, "Todos los seres humanos son mortales" se convierte en "Toda cosa x es tal que, si x es un ser humano entonces x es mortal." La peculiar doble notación dimensional de Frege hizo que su obra fuese ignorada durante muchos años.
David Hilbert.David Hilbert. (^) Matemático alemán (1862-1943), aporta grandes avances con la “Teoría de Invariantes” y el concepto de “ Espacio de Hilbert”. A partir de las fuentes griegas de Euclides, publica en 1899 su obra “ Fundamentos de Geometría” , en la que formula sus principios de axiomatización de la geometría. (^) Matemático alemán (1862-1943), aporta grandes avances con la “Teoría de Invariantes” y el concepto de “ Espacio de Hilbert”. A partir de las fuentes griegas de Euclides, publica en 1899 su obra “ Fundamentos de Geometría” , en la que formula sus principios de axiomatización de la geometría.
EjemplosEjemplos (^) Ejemplo ley de Morgan (^) La carrera de industrias alimentarias es la mas fácil y los estudiantes son muy aplicados (^) Ejemplo ley de Morgan (^) La carrera de industrias alimentarias es la mas fácil y los estudiantes son muy aplicados
EjemplosEjemplos (^) Ejemplo boole (^) Somos ingenieros, ingenieros con titulo, ingenieros con documentos validos y podemos ejercer nuestra profesión,entonces podemos trabajar. (^) Ejemplo boole (^) Somos ingenieros, ingenieros con titulo, ingenieros con documentos validos y podemos ejercer nuestra profesión,entonces podemos trabajar.
