Download - Discreta matematica
![Page 1: Discreta matematica](https://reader035.vdocuments.pub/reader035/viewer/2022081913/5531bbcf5503466c578b4b97/html5/thumbnails/1.jpg)
Módulo I: Descripción Matemáticas Discretas - p. 1/15
Matemáticas DiscretasTC1003
Módulo I: DescripciónDepartamento de Matemáticas
ITESM
![Page 2: Discreta matematica](https://reader035.vdocuments.pub/reader035/viewer/2022081913/5531bbcf5503466c578b4b97/html5/thumbnails/2.jpg)
IntroduccionAristotelesLeibnizBooleDe MorganTuringGodelAplicacionesTemasY sobre todo. . .
Módulo I: Descripción Matemáticas Discretas - p. 2/15
Introducción
En esta sección veremos un poco de la historia dela Lógica: desde la época de oro de los griegoshasta alguno de los puntos claves de la historiareciente de las Matemáticas y de las CienciasComputacionales. También comentaremosalgunas de las áreas donde estos temas seaplican. Finalmente se hará un listado general detemas que se cubrirán en este módulo.
![Page 3: Discreta matematica](https://reader035.vdocuments.pub/reader035/viewer/2022081913/5531bbcf5503466c578b4b97/html5/thumbnails/3.jpg)
IntroduccionAristotelesLeibnizBooleDe MorganTuringGodelAplicacionesTemasY sobre todo. . .
Módulo I: Descripción Matemáticas Discretas - p. 3/15
Lógica Matemática: Historia
Aristóteles (384-322 b.C.): Consi-derado como el padre de la Lógi-ca. Escribe el primer gran tratadode lógica: El Organón, que cons-ta de 7 libros; El Organón es unacolección de reglas para el razo-namiento deductivo, fueron pen-sadas en servir como base a todarama del saber.
![Page 4: Discreta matematica](https://reader035.vdocuments.pub/reader035/viewer/2022081913/5531bbcf5503466c578b4b97/html5/thumbnails/4.jpg)
IntroduccionAristotelesLeibnizBooleDe MorganTuringGodelAplicacionesTemasY sobre todo. . .
Módulo I: Descripción Matemáticas Discretas - p. 4/15
Historia: Leibniz
Gottfried Wilhelm Leibniz (1646-1716): Desarrollador con IsaacNewton del Cálculo. Concibe laidea de que al igual que la nota-ción algebraica sirve para mecani-zar el proceso de razonar con nú-meros, debería usarse un sistemaalgebraico para el razonamientodeductivo. Es decir, que el razo-namiento podría hacerse median-te un sistema de símbolos mani-pulables por ciertas leyes.
![Page 5: Discreta matematica](https://reader035.vdocuments.pub/reader035/viewer/2022081913/5531bbcf5503466c578b4b97/html5/thumbnails/5.jpg)
IntroduccionAristotelesLeibnizBooleDe MorganTuringGodelAplicacionesTemasY sobre todo. . .
Módulo I: Descripción Matemáticas Discretas - p. 5/15
Lógica Matemática: Boole
George Boole (2 de noviembre de1815 - 8 de diciembre de 1864)matemático y filósofo inglés. Es elinventor de lo que ahora llamamosálgebra de Boole, la base de laaritmética computacional moder-na. Es considerado como uno delos fundadores del campo de lasCiencias de la Computación. A lapar con De Morgan desarrolla deidea de Newton del sistema desímbolos para el pensamiento ló-gico.
![Page 6: Discreta matematica](https://reader035.vdocuments.pub/reader035/viewer/2022081913/5531bbcf5503466c578b4b97/html5/thumbnails/6.jpg)
IntroduccionAristotelesLeibnizBooleDe MorganTuringGodelAplicacionesTemasY sobre todo. . .
Módulo I: Descripción Matemáticas Discretas - p. 6/15
Lógica Matemática: De Morgan
Augustus De Morgan (27 de juniode 1806 - 18 de marzo de 1871):Matemático y lógico inglés nacidoen la India. Fue tutor de Ada Lo-velace. Autor de las Leyes de DeMorgan.
![Page 7: Discreta matematica](https://reader035.vdocuments.pub/reader035/viewer/2022081913/5531bbcf5503466c578b4b97/html5/thumbnails/7.jpg)
IntroduccionAristotelesLeibnizBooleDe MorganTuringGodelAplicacionesTemasY sobre todo. . .
Módulo I: Descripción Matemáticas Discretas - p. 7/15
A partir de allí (finales del 1800s) hay unincremento considerable de personasrelacionadas a la Lógica Matemática, pero hay dosque consideramos claves en su desarrollo y quesu trabajo impacto el área de la computación . . .
![Page 8: Discreta matematica](https://reader035.vdocuments.pub/reader035/viewer/2022081913/5531bbcf5503466c578b4b97/html5/thumbnails/8.jpg)
IntroduccionAristotelesLeibnizBooleDe MorganTuringGodelAplicacionesTemasY sobre todo. . .
Módulo I: Descripción Matemáticas Discretas - p. 8/15
Lógica Matemática: Turing
Alan M. Turing (23/junio/1912 -7/junio/1954). Se le considera unode los padres de la Ingeniería in-formática siendo el precursor de lainformática moderna. Proporcionóuna influyente formalización de losconceptos de algoritmo y compu-tación: la máquina de Turing. Conestos fundamentos, el ingenieroalemán Konrad Zuse diseñó el pri-mer computador electromecánicobinario, el Z1. También contribuyóde forma particular al enigma de silas máquinas pueden pensar, esdecir a la Inteligencia Artificial.
![Page 9: Discreta matematica](https://reader035.vdocuments.pub/reader035/viewer/2022081913/5531bbcf5503466c578b4b97/html5/thumbnails/9.jpg)
IntroduccionAristotelesLeibnizBooleDe MorganTuringGodelAplicacionesTemasY sobre todo. . .
Módulo I: Descripción Matemáticas Discretas - p. 9/15
Lógica Matemática: Gödel
Kurt F. Gödel (28/abril/1906 -14/enero/1978) A los 25 años pro-bó que en todo sistema axiomá-tico que incluye a los enteroshay proposiciones metamatemá-ticas que no pueden probarse orefutarse (indecidibles) mediantededucciones formales basadas enlos axiomas del sistema (Teoremade la incompletitud de Gödel). Fuedoctor honorario en Ciencias porHarvard en 1952 con una menciónque lo llamó “el descubridor de laverdad matemática más significa-tiva del siglo".
![Page 10: Discreta matematica](https://reader035.vdocuments.pub/reader035/viewer/2022081913/5531bbcf5503466c578b4b97/html5/thumbnails/10.jpg)
IntroduccionAristotelesLeibnizBooleDe MorganTuringGodelAplicacionesTemasY sobre todo. . .
Módulo I: Descripción Matemáticas Discretas - p. 10/15
Lógica Matemática: Aplicaciones
Circuitos Digitales
![Page 11: Discreta matematica](https://reader035.vdocuments.pub/reader035/viewer/2022081913/5531bbcf5503466c578b4b97/html5/thumbnails/11.jpg)
IntroduccionAristotelesLeibnizBooleDe MorganTuringGodelAplicacionesTemasY sobre todo. . .
Módulo I: Descripción Matemáticas Discretas - p. 11/15
Bases de Conocimiento en lugar de Bases deDatos
![Page 12: Discreta matematica](https://reader035.vdocuments.pub/reader035/viewer/2022081913/5531bbcf5503466c578b4b97/html5/thumbnails/12.jpg)
IntroduccionAristotelesLeibnizBooleDe MorganTuringGodelAplicacionesTemasY sobre todo. . .
Módulo I: Descripción Matemáticas Discretas - p. 12/15
Métodos Formales de Verificación de Software
![Page 13: Discreta matematica](https://reader035.vdocuments.pub/reader035/viewer/2022081913/5531bbcf5503466c578b4b97/html5/thumbnails/13.jpg)
IntroduccionAristotelesLeibnizBooleDe MorganTuringGodelAplicacionesTemasY sobre todo. . .
Módulo I: Descripción Matemáticas Discretas - p. 13/15
■ Representación de Conocimiento■ Razonamiento Automático■ Inferencia Probabilística■ Prueba Automática de Teoremas■ Verificación Automática de Circuitos Digitales■ Leyes para Mundos Virtuales
![Page 14: Discreta matematica](https://reader035.vdocuments.pub/reader035/viewer/2022081913/5531bbcf5503466c578b4b97/html5/thumbnails/14.jpg)
IntroduccionAristotelesLeibnizBooleDe MorganTuringGodelAplicacionesTemasY sobre todo. . .
Módulo I: Descripción Matemáticas Discretas - p. 14/15
Temas
■ Lógica (Cálculo) Proposicional◆ Terminología◆ Conectivos Lógicos◆ Tablas de Verdad◆ Equivalencias◆ Proposición Condicional◆ Argumentos Válidos e Inválidos
■ Lógica (Cálculo) de Predicados(Lógica de Primer Orden)◆ Predicados, Dominio y cuantificadores◆ Argumentos con Cuantificadores
![Page 15: Discreta matematica](https://reader035.vdocuments.pub/reader035/viewer/2022081913/5531bbcf5503466c578b4b97/html5/thumbnails/15.jpg)
IntroduccionAristotelesLeibnizBooleDe MorganTuringGodelAplicacionesTemasY sobre todo. . .
Módulo I: Descripción Matemáticas Discretas - p. 15/15
Lógica Matemática: Lo más importante
Potencía tu pensamiento mediante procesoscorrectos.