Logica

C.E.F.A.
LOGICA MATEMATICA





TEMA:
LOGICA MATEMATICA




TUBAC MARTINES JORGE LUIS
Código: 20110619
Fecha 1/02/2012


INTRODUCCION
ESTE PRESENTE TRABAJO TRATA DE LA LOGIAMATEMATICA Y DE UN PEQUEÑO RESUMEN DE LOS AUTORES DE LA MATEMATICA DE LOGICA ESPERO QUE LE GUSTE. 


INDICE pág.
• caratula…………………………………………………… 1
• Introducción…………………………………………….. 2
• Índice……………………………………………………….. 3
• Lógica matemática y autores………………………. 4
 

 
LOGICA MATEMATICA
Esla que consiste en el estudio de la lógica para aplicarlos a otras áreas de la matemática.
La lógica matemática tiene conexiones con las ciencias de la compitacio006Ey la lógica filosófica.estasuele dividirse en cuatro subcampos los cuales son:
 Teoría de modelos
 Teoría de la demostración
 Teoría de conjuntos
 Teoría de la recursión
Algunos autores de la lógica matemática
GeorgeBoole
(2 de noviembre de 1815 - 8 de diciembre de 1864)
Fue un matemático y filósofo británico como inventor del álgebra de Boole, que marca los fundamentos de la aritmética computacional moderna,Boole es considerado como uno de los fundadores del campo de las Ciencias de la Computación. En 1854 publicó "An Investigation of the Laws of Thought" en el que desarrollaba un sistema de reglas que lepermitían expresar, manipular y simplificar problemas lógicos y filosóficos cuyos argumentos admiten dos estados (verdadero o falso) por procedimientos matemáticos. Se podría decir que es el padre delas operaciones lógicas y gracias a su álgebra hoy en día es posible manipular operaciones lógicas.
John Wallis
(Ashford, 23 de noviembre de 1616 – Oxford, 28 de octubre de 1703)
Fue unmatemático inglés a quien se le atribuye en parte el desarrollo del cálculo moderno. Fue un precursor del cálculo infinitesimal (introdujo la utilización del símbolo ∞ para...