Teoría de conjuntos, lógica y temas afines I / Max Fernández de Castro, Luis Miguel Villegas Silva
Material type:
TextCopyright date: 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, ©2013Edition: 1a ediciónDescription: 672 páginas : ilustraciones, gráficas ; 22 x 28 cmContent type: - texto
- sin medio
- volumen
- 9786074779752
- QA 248 F363 2013
| Item type | Current library | Home library | Collection | Call number | Copy number | Status | Notes | Date due | Barcode | Item holds | |
|---|---|---|---|---|---|---|---|---|---|---|---|
Libros para consulta en sala
|
Biblioteca Antonio Enriquez Savignac | Biblioteca Antonio Enriquez Savignac | COLECCIÓN RESERVA | QA 248 F363 2013 (Browse shelf(Opens below)) | 1 | No para préstamo | Negocios Internacionales | 038386 |
Browsing Biblioteca Antonio Enriquez Savignac shelves, Collection: COLECCIÓN RESERVA Close shelf browser (Hides shelf browser)
| QA 184 .5 G7618 1988 Álgebra lineal / | QA 241 B56 2010 Pensamiento numérico y algebraico : texto basado en el desarrollo de competencias con enfoque en el modelo META / | QA 241 H26 2008 An introduction to the theory of numbers / | QA 248 F363 2013 Teoría de conjuntos, lógica y temas afines I / | QA251 A575 Introducción al álgebra Lineal / | QA265 B83 Introducción a la programación lineal y al análisis de sensibilidad / | QA267 P76 Problemas resueltos de teoría de máquinas y mecanismos / |
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
Click on an image to view it in the image viewer
