Welcome to Scribd, the world's digital library. Read, publish, and share books and documents. See more ➡
Download
Standard view
Full view
of .
Add note
Save to My Library
Sync to mobile
Look up keyword or section
Like this
0Activity
×

Table Of Contents

L´ogica de primer orden
1.1 Introducci´on a los lenguajes formales
1.2 Definici´on de lenguaje formal
1.3 Expresiones, t´erminos y f´ormulas
1.4 Variables libres y ligadas
1.6 Consideraciones finales
2.1 El c´alculo deductivo de primer orden
2.2 Reglas derivadas de inferencia
2.3 T´ecnicas de deducci´on
2.4 Teor´ıas axiom´aticas
2.5 Descriptores
2.6 Forma prenexa
2.7 Consideraciones finales
3.1 Conceptos b´asicos
3.2 Verdad y validez l´ogica
3.3 Consistencia
4.1 Completitud sint´actica
4.2 La prueba del teorema de completitud
4.3 Consecuencias del teorema de completitud
4.4 Consideraciones finales
5.1 Funciones recursivas
5.2 Relaciones recursivas
5.3 Conjuntos recursivos
5.4 N´umeros de G¨odel
5.5 Funciones parciales
5.6 M´aquinas de Turing
5.7 La tesis de Church-Turing
5.8 Consideraciones finales
6.1 Definici´on y propiedades b´asicas
6.2 Algunos teoremas en teor´ıas aritm´eticas
6.3 Expresabilidad y representabilidad
7.1 El primer teorema de incompletitud
7.2 El segundo teorema de incompletitud
7.3 El teorema de Rosser
7.4 El teorema de Tarski
7.5 Otros resultados afines
7.6 El teorema de Church
7.7 Ecuaciones diof´anticas
8.2 La teor´ıa de conjuntos de Zermelo-Fraenkel
8.3 Los axiomas restantes de NBG y ZF
8.4 Los n´umeros naturales
8.5 Eliminaci´on de descriptores
9.1 La consistencia de ZFC–AI
9.2 Consis NBG implica Consis ZFC
9.3 Consis ZFC implica Consis NBG
10.1 Lenguajes formales
10.2 Modelos
10.3 L´ogica de segundo orden
10.4 El lenguaje de la teor´ıa de conjuntos
10.5 Los teoremas de incompletitud
10.6 Modelos que son clases propias
La teor´ıa de conjuntos
11.1 La construcci´on de los ordinales
11.2 Inducci´on y recursi´on transfinita
11.3 Funciones normales
11.4 La aritm´etica ordinal
11.5 La forma normal de Cantor
12.2 Inducci´on y recursi´on transfinita
12.3 Conjuntos regulares
12.4 ´Atomos
13.1 El axioma de elecci´on
13.2 Cardinalidad
13.3 La aritm´etica cardinal
13.4 Sumas y productos infinitos
13.5 Cofinalidad
14.1 La exponenciaci´on en ZFC
14.2 La hip´otesis de los cardinales singulares
14.3 Cardinales fuertemente inaccesibles
15.1 Conjuntos cerrados no acotados
15.2 Conjuntos estacionarios
15.3 Un teorema de Silver
15.4 Cardinales de Mahlo
B.1 Hechos elementales
B.2 Divisibilidad
B.3 Congruencias
B.4 Cuerpos cuadr´aticos
Bibliograf´ıa
´Indice de Materias
0 of .
Results for:
No results containing your search query
P. 1
Logica y teoria de conjuntos.pdf

Logica y teoria de conjuntos.pdf

Ratings: (0)|Views: 343|Likes:
Published by Angel Jimenez

More info:

Published by: Angel Jimenez on May 30, 2013
Copyright:Attribution Non-commercial

Availability:

Read on Scribd mobile: iPhone, iPad and Android.
download as PDF, TXT or read online from Scribd
See More
See less

05/30/2013

pdf

text

original

You're Reading a Free Preview
Pages 9 to 39 are not shown in this preview.
You're Reading a Free Preview
Pages 48 to 223 are not shown in this preview.
You're Reading a Free Preview
Pages 232 to 267 are not shown in this preview.
You're Reading a Free Preview
Pages 276 to 330 are not shown in this preview.
You're Reading a Free Preview
Pages 339 to 446 are not shown in this preview.

You're Reading a Free Preview

Download
/*********** DO NOT ALTER ANYTHING BELOW THIS LINE ! ************/ var s_code=s.t();if(s_code)document.write(s_code)//-->