LGICO

MATEMTICO
Dra Milagros Mlndez
Universidad Nacional de Ingeniera
La lgica matemtica es un campo de las
matemticas que estudia los sistemas
formales en relacin con el modo en el que
codifican conceptos intuitivos de objetos
matemticos como conjuntos, nmeros,
demostraciones y computacin.
CONCEPTO
Teora de modelos
Teora de la demostracin
Teora de conjuntos
Teora de la recursin

La lgica matemtica suele dividirse en
cuatro subcampos:
teora de modelos
En matemtica, teora de modelos es el
estudio de la representacin de conceptos
matemticos en trminos de la teora de
conjuntos, o el estudio de modelos que
subyacen en sistemas matemticos.
teora de la demostracin
Es una rama de lgica matemtica que trata las
demostraciones como objetos matemticos,
facilitando sus anlisis mediante tcnicas
matemticas.
teora de conjuntos
La teora de conjuntos es una divisin de las
matemticas que estudiaba los conjuntos. El primer
estudio formal sobre el tema fue realizado por el
matemtico alemn Georg Cantor en el Siglo XIX y
ms tarde reformulada por Ernst Zermelo.
El concepto de conjunto es intuitivo y podramos
definirlo simplemente como una coleccin de objetos
teora de la recursin
La Teora de la computabilidad es la parte de
la computacin que estudia los problemas de
decisin que pueden ser resueltos con un
algoritmo o equivalentemente con una mquina
de Turing.
La lgica matemtica fue tambin llamada lgica
simblica, en oposicin a la lgica filosfica , y
metamatemticas. El primer trmino todava se
utiliza como sinnimo suyo, pero el segundo se
refiere ahora a ciertos aspectos de la teora de la
demostracin.

La lgica matemtica no es la "lgica de las
matemticas" sino la "matemtica de la lgica".
Incluye aquellas partes de la lgica que pueden ser
modeladas y estudiadas matemticamente.