Presentación del grupo 4246 - 2011-1.

I.LÓGICAS NO-CLÁSICAS (DE PROPOSICIONES).

a)Intuicionista.

b)Modal.

c)Paraconsistente.

d)Multivaluada.

II.PRELIMINARES A LA LÓGICA DE PRIMER ORDEN.

a)Estructuras Elementales y las otras.

b)Lenguajes Formales de 1er. Orden.

c)Satisfacción, Verdad y Verdad Universal (Definición recusiva de Satisfacción de Tarski).

III.UN CÁLCULO DE PREDICADOS (MENDELSON).

a)Variables Libres y Acotadas. Fórmulas Abiertas y Enunciados.

b)Axiomas y Reglas de Inferencia

c)Teorema de la Deducción

d)Regla de Particularización

e)Regla Existencial

f)Regla C.

g)Metateorema de Lindenbaum.

h)Metateorema de Henkin.

i)Metateorema de Completud (Gödel).

j)Metateorema de Completud-Correctud Extendida.

k)Metateoremas de Löwenheim-Skolem.

IV.METATEOREMA DE COMPACIDAD.

V.TEOREMA DE HERBRAND.

Básica:

1)MENDELSON, E.; “Introduction to Mathematical Logic”. Ed. Wadswort & Brooks/Cole Advanced Books & Software. 3ª. o 4a. edición.

2)SOLIS, J. y TORRES, Y.; “Lógica Matemática”. Ed. UAM, unidad Iztapalapa. México, D. F. 1995.

3)ENDERTON, H.; “Una Introducción Matemática a la Lógica”. Ed. UNAM, 1987.

4)DELONG, H.; “A profile of mathematical logic”. Ed. Dover, Mineola, New York. 2004.

Opcional:

1)KLEENE, S.C.; “Mathematical Logic”. Ed. Wiley.New York. 1967.

2)BELL, J. & MACHOVER, M.; “A Course in Mathematical Logic”. Ed. North Holland. 1977.

3)BELL, J. L. & SLOMNSON, A.B.; “Models and Ultraproducts : An Introduction”. Ed. North Holland. Amsterdam. 1974.

4)CHANG, C. & KEISLER, H.; “Model Theory”. Ed. North Holland. Amsterdam. 1973.

5)BRIDGE, J.; “Beginning Model Theory : The Completeness Theorem and some consequences”. Ed. Clarendon, 1977. Oxford.

6)SHOENFIELD, J. K.; “Mathematical Logic”. Ed. Addison-Wesley, 1967. London.