Teoría de conjuntos, lógica y temas afines I / Max Fernández de Castro, Luis Miguel Villegas Silva
Tipo de material:
TextoFecha de copyright: México, D.F. : UAM, Unidad Iztapalapa, División de Ciencias Sociales y Humanidades : UAM, Unidad Iztapalapa, División de Ciencias Básicas e Ingeniería, ©2013Edición: 1a ediciónDescripción: 672 páginas : ilustraciones, gráficas ; 22 x 28 cmTipo de contenido: - texto
- sin medio
- volumen
- 9786074779752
- QA 248 F363 2013
| Tipo de ítem | Biblioteca actual | Biblioteca de origen | Colección | Signatura topográfica | Copia número | Estado | Notas | Fecha de vencimiento | Código de barras | Reserva de ítems | |
|---|---|---|---|---|---|---|---|---|---|---|---|
Libros para consulta en sala
|
Biblioteca Antonio Enriquez Savignac | Biblioteca Antonio Enriquez Savignac | COLECCIÓN RESERVA | QA 248 F363 2013 (Navegar estantería(Abre debajo)) | 1 | No para préstamo | Negocios Internacionales | 038386 |
I. Recursividad -- II. Los teoremas de incompletud de Gödel -- III. Construcciones elementales en la teoría de modelos: Maitines -- IV. Teoría de modelos básica: Laudes -- V. Teoría de modelos avanzada: Prima -- VI. Teoría de modelos en módulos Kualkan -- VII. Teoría de modelos en módulos Tiotlak
"Este libro provee un tratamiento accesible, a la vez que riguroso, de varios temas de lógica matemática intermedia y avanzada. Los capítulos iniciales tratan la calculabilidad, en diferentes variantes, de los teoremas de incompletud de Godel y de cómo puede usarse la lógica modal en la extensión de propiedades matemáticas. Los siguientes capítulos del libro forman una introducción a los conceptos y métodos fundamentales de la teoría de modelos, mientras que en la sección final se muestra el carácter fructifero de esta teoría con numerosas aplicaciones al álgebra. El libro expone y desarrolla diversos temas que no es fácil encontrar en otros textos, tales como la teoría de juegos, la teoría de Ehrenfeucht-Fraisse, la lógica de la demostrabilidad y el forcing en teoría de modelos." -- P. [4]
CG
NUEVOSGENERAL
Haga clic en una imagen para verla en el visor de imágenes
