Prueba de Consistencia


El propósito de este libro es explicar las técnicas básicas para obtener pruebas de consistencia.
Los requisitos para seguir este libro son un conocimiento básico de la lógica matemática (de primer orden), de la axiomática de la teoría de conjuntos, de la teoría de ordinales y cardinales y, en especial, de la exponenciación cardinal.

Teoría básica y aplicaciones
  • Modelos de la teoría de conjuntos
  • El axioma de regularidad
  • Conjuntos constructibles
  • Extensiones genéricas
  • Cardinales en extensiones genéricas, entre otros.
Cardinales Grandes
  • Cardinales medibles
  • Cardinales débilmente compactos
  • Constructibilidad relativa
  • Indiscernibles de Silver, entre otros.
Características de la descarga:
Formato: Pdf
Compresión: .rar
Hospeda: Rapidshare,4Shared, MegaUpload, MediaFire y Gigasize
Peso: 3.45 MB
Idioma: Español
Mas información y descarga:
Leer Mas…
Descargar Libro de
Rapidshare | 4Shared | Megaupload | MediaFire | Gigasize

Comentarios

Publicar un comentario

Entradas populares de este blog

Solucionario de muchos libros, problemas resueltos paso por paso

Imagen
Descarga tu solucionario y no te olvides aportar tu granito de arena para que crezca mas el blog. Solucionarios de: Algebra Lineal - Jim Hefferon Algebra Lineal - 2da Edicion - David Poole Algebra Lineal y sus Aplicaciones - David C. Lay Algebra Lineal con Aplicaciones- Bretscher O. Analisis Basico de Circuitos en Ingenieria - 8va Edicion - David Irwin Analisis de Circuitos Lineales - 2da Edición - R.A DeCarlo & Pen-Min-Lin Analisis de Elementos Finitos - 4ta Edicion - Robert Cook Analisis de la Investigacion - Frank Reilly & C. Brown Analisis de Sistemas de Proceso y Control (Process System Analysis and Control) - D. Coughanowr Analisis Econometrico - 5ta Edición - William H. Green Analisis Estructural - 5ta Edicion - R. C. Hibbeler Analisis Matematico - Tom Apostol Analisis Microeconomico - 3ra Edicion - Hal R. Varian Analisis Numerico con Aplicaciones - 7ma Edicion - Curtis F. Gerald & Patrick O. Wheatley Antenas - 3ra Edición - John Kraus C++ Como Programar - 3ra Edicio...
Leer más

Atlas de Correlación Anatomica RX y TAC menarini

Imagen
Una de las herramientas de diagnóstico por la imagen más empleada para la localización de las lesiones de tórax, abdomen y pelvis es la tomografia computarizada (TC). El Objetivo principal de este CD es facilitar la interpretación y explicación de las imágenes axiales de TC a través de su correlación con el dibujo anotómico detallado. Para lograr este objetivo hemos seleccionado los cortes de TC de cabeza, cuello, tórax,abdomen y pelvis femenina y masculina que dan más información anatómica para poderlos confrontar con sus dibujos correspondientes. En cada corte se pueden visualizar los puntos clave de cada zona y obtener una información descriptiva de cada detalle anatómico y una orientación topográfica del nivel de la imagen. Las caracteristicas de este CD lo definen como un atlas básico de correlación anatómica de TC. Su finalidad es facilitar la interpretación y comprensión de esta herramienta de diagnóstico a los médicos que deseen consultar dudas en un manual de referencia rápi...
Leer más