Matemticas Discretas TC1003

Mdulo I: Descripcin
Departamento de Matemticas

ITESM

Mdulo I: Descripcin

Matemticas Discretas - p. 1/15

Introduccin
En esta seccin veremos un poco de la historia de la Lgica: desde la poca de oro de los griegos hasta alguno de los puntos claves de la historia reciente de las Matemticas y de las Ciencias Computacionales. Tambin comentaremos algunas de las reas donde estos temas se aplican. Finalmente se har un listado general de temas que se cubrirn en este mdulo.
Introduccion Aristoteles Leibniz Boole De Morgan Turing Godel Aplicaciones Temas Y sobre todo. . .

Mdulo I: Descripcin

Matemticas Discretas - p. 2/15

Lgica Matemtica: Historia

Aristteles (384-322 b.C.): Considerado como el padre de la Lgica. Escribe el primer gran tratado de lgica: El Organn, que consta de 7 libros; El Organn es una coleccin de reglas para el razonamiento deductivo, fueron pensadas en servir como base a toda rama del saber.
Introduccion Aristoteles Leibniz Boole De Morgan Turing Godel Aplicaciones Temas Y sobre todo. . .

Mdulo I: Descripcin

Matemticas Discretas - p. 3/15

Historia: Leibniz
Gottfried Wilhelm Leibniz (16461716): Desarrollador con Isaac Newton del Clculo. Concibe la idea de que al igual que la notacin algebraica sirve para mecanizar el proceso de razonar con nmeros, debera usarse un sistema algebraico para el razonamiento deductivo. Es decir, que el razonamiento podra hacerse mediante un sistema de smbolos manipulables por ciertas leyes.
Introduccion Aristoteles Leibniz Boole De Morgan Turing Godel Aplicaciones Temas Y sobre todo. . .

Mdulo I: Descripcin

Matemticas Discretas - p. 4/15

Lgica Matemtica: Boole

George Boole (2 de noviembre de 1815 - 8 de diciembre de 1864) matemtico y lsofo ingls. Es el inventor de lo que ahora llamamos lgebra de Boole, la base de la aritmtica computacional moderna. Es considerado como uno de los fundadores del campo de las Ciencias de la Computacin. A la par con De Morgan desarrolla de idea de Newton del sistema de smbolos para el pensamiento lgico.
Introduccion Aristoteles Leibniz Boole De Morgan Turing Godel Aplicaciones Temas Y sobre todo. . .

Mdulo I: Descripcin

Matemticas Discretas - p. 5/15

Lgica Matemtica: De Morgan

Augustus De Morgan (27 de junio de 1806 - 18 de marzo de 1871): Matemtico y lgico ingls nacido en la India. Fue tutor de Ada Lovelace. Autor de las Leyes de De Morgan.
Introduccion Aristoteles Leibniz Boole De Morgan Turing Godel Aplicaciones Temas Y sobre todo. . .

Mdulo I: Descripcin

Matemticas Discretas - p. 6/15

A partir de all (nales del 1800s) hay un incremento considerable de personas relacionadas a la Lgica Matemtica, pero hay dos que consideramos claves en su desarrollo y que su trabajo impacto el rea de la computacin . . .

Introduccion Aristoteles Leibniz Boole De Morgan Turing Godel Aplicaciones Temas Y sobre todo. . .

Mdulo I: Descripcin

Matemticas Discretas - p. 7/15

Lgica Matemtica: Turing

Alan M. Turing (23/junio/1912 7/junio/1954). Se le considera uno de los padres de la Ingeniera informtica siendo el precursor de la informtica moderna. Proporcion una inuyente formalizacin de los conceptos de algoritmo y computacin: la mquina de Turing. Con estos fundamentos, el ingeniero alemn Konrad Zuse dise el primer computador electromecnico binario, el Z1. Tambin contribuy de forma particular al enigma de si las mquinas pueden pensar, es decir a la Inteligencia Articial.
Mdulo I: Descripcin
Introduccion Aristoteles Leibniz Boole De Morgan Turing Godel Aplicaciones Temas Y sobre todo. . .

Matemticas Discretas - p. 8/15

Lgica Matemtica: Gdel

Kurt F. Gdel (28/abril/1906 14/enero/1978) A los 25 aos prob que en todo sistema axiomtico que incluye a los enteros hay proposiciones metamatemticas que no pueden probarse o refutarse (indecidibles) mediante deducciones formales basadas en los axiomas del sistema (Teorema de la incompletitud de Gdel). Fue doctor honorario en Ciencias por Harvard en 1952 con una mencin que lo llam el descubridor de la verdad matemtica ms signicativa del siglo".
Mdulo I: Descripcin
Introduccion Aristoteles Leibniz Boole De Morgan Turing Godel Aplicaciones Temas Y sobre todo. . .

Matemticas Discretas - p. 9/15

Lgica Matemtica: Aplicaciones

Introduccion Aristoteles Leibniz Boole De Morgan Turing Godel Aplicaciones Temas Y sobre todo. . .

Circuitos Digitales

Mdulo I: Descripcin

Matemticas Discretas - p. 10/15

 Introduccion Aristoteles Leibniz Boole De Morgan Turing Godel Aplicaciones Temas Y sobre todo. . .

Bases de Conocimiento en lugar de Bases de Datos

Mdulo I: Descripcin Matemticas Discretas - p. 11/15

 Introduccion Aristoteles Leibniz Boole De Morgan Turing Godel Aplicaciones Temas Y sobre todo. . .

Mtodos Formales de Vericacin de Software

Mdulo I: Descripcin Matemticas Discretas - p. 12/15

 Introduccion Aristoteles Leibniz Boole De Morgan Turing Godel Aplicaciones Temas Y sobre todo. . .

s s s s s s

Representacin de Conocimiento Razonamiento Automtico Inferencia Probabilstica Prueba Automtica de Teoremas Vericacin Automtica de Circuitos Digitales Leyes para Mundos Virtuales

Mdulo I: Descripcin

Matemticas Discretas - p. 13/15

Temas
s

Lgica (Clculo) Proposicional x Terminologa x Conectivos Lgicos x Tablas de Verdad x Equivalencias x Proposicin Condicional x Argumentos Vlidos e Invlidos Lgica (Clculo) de Predicados (Lgica de Primer Orden) x Predicados, Dominio y cuanticadores x Argumentos con Cuanticadores

Introduccion Aristoteles Leibniz Boole De Morgan Turing Godel Aplicaciones Temas Y sobre todo. . .

Mdulo I: Descripcin

Matemticas Discretas - p. 14/15

Lgica Matemtica: Lo ms importante

Introduccion Aristoteles Leibniz Boole De Morgan Turing Godel Aplicaciones Temas Y sobre todo. . .

Potenca tu pensamiento mediante procesos correctos.

Mdulo I: Descripcin Matemticas Discretas - p. 15/15