{"product_id":"sets-models-and-proofs-9783319924137","title":"Conjuntos, modelos y pruebas","description":"\u003cp\u003eEste libro de texto ofrece una introducción concisa y autónoma a la lógica matemática, centrándose en los temas fundamentales de la lógica de primer orden y la teoría de modelos. Incluyendo ejemplos de varias áreas de las matemáticas (álgebra, álgebra lineal y análisis), el libro ilustra la relevancia y utilidad de la lógica en el estudio de estas áreas temáticas.\u003c\/p\u003e\u003cp\u003eLos autores comienzan con una exposición de la teoría de conjuntos y el axioma de elección tal como se usa en las matemáticas cotidianas. A un ritmo pausado, presentan algunos de los primeros resultados importantes en la teoría de modelos, seguidos de una cuidadosa exposición de la deducción natural al estilo Gentzen y una prueba detallada del teorema de completitud de Gödel para la lógica de primer orden. El libro explora luego el sistema axiomático formal de Zermelo y Fraenkel antes de concluir con una extensa lista de sugerencias para estudios posteriores.\u003c\/p\u003e\u003cp\u003e \u003c\/p\u003eEl presente volumen está dirigido principalmente a estudiantes de matemáticas que ya están familiarizados con el análisis básico, el álgebra y el álgebra lineal. Contiene numerosos ejercicios de dificultad variada y se puede utilizar para el autoaprendizaje, aunque es ideal como texto para un curso universitario de un semestre en el segundo o tercer año.\u003cp\u003e\u003c\/p\u003e\u003cbr\u003e\u003cbr\u003e\u003cb\u003eAutor:\u003c\/b\u003e \u003ca href=\"https:\/\/sureshotbooks-com.myshopify.com\/search?type=product%2Carticle%2Cpage\u0026amp;q=AUTH-11768475\"\u003eIeke Moerdijk\u003c\/a\u003e, \u003ca href=\"https:\/\/sureshotbooks-com.myshopify.com\/search?type=product%2Carticle%2Cpage\u0026amp;q=AUTH-4197147\"\u003eJaap Van Oosten\u003c\/a\u003e\u003cbr\u003e\u003cb\u003eEditorial:\u003c\/b\u003e Springer\u003cbr\u003e\u003cb\u003ePublicado:\u003c\/b\u003e 12\/06\/2018\u003cbr\u003e\u003cb\u003ePáginas:\u003c\/b\u003e 141\u003cbr\u003e\u003cb\u003eTipo de encuadernación:\u003c\/b\u003e Tapa blanda\u003cbr\u003e\u003cb\u003ePeso:\u003c\/b\u003e 0.50lbs\u003cbr\u003e\u003cb\u003eTamaño:\u003c\/b\u003e 9.21h x 6.14w x 0.33d\u003cbr\u003e\u003cb\u003eISBN13:\u003c\/b\u003e 9783319924137\u003cbr\u003e\u003cb\u003eISBN10:\u003c\/b\u003e 3319924133\u003cbr\u003e\u003cb\u003eCategorías BISAC:\u003c\/b\u003e\u003cbr\u003e- \u003ca href=\"https:\/\/sureshotbooks-com.myshopify.com\/search?type=product%2Carticle%2Cpage\u0026amp;q=CAT-MAT\"\u003eMatemáticas\u003c\/a\u003e | \u003ca href=\"https:\/\/sureshotbooks-com.myshopify.com\/search?type=product%2Carticle%2Cpage\u0026amp;q=BISAC-MAT018000\"\u003eLógica\u003c\/a\u003e\u003cbr\u003e- \u003ca href=\"https:\/\/sureshotbooks-com.myshopify.com\/search?type=product%2Carticle%2Cpage\u0026amp;q=CAT-MAT\"\u003eMatemáticas\u003c\/a\u003e | \u003ca href=\"https:\/\/sureshotbooks-com.myshopify.com\/search?type=product%2Carticle%2Cpage\u0026amp;q=BISAC-MAT002000\"\u003eÁlgebra | General\u003c\/a\u003e\u003cbr\u003e\u003cbr\u003e\u003cp\u003e\u003cb\u003eSobre el Autor\u003c\/b\u003e\u003cbr\u003eAmbos autores tienen una amplia experiencia en la enseñanza del material cubierto en este libro, y han sido investigadores activos en lógica matemática y campos relacionados. \u003cb\u003eIeke Moerdijk\u003c\/b\u003e fue coautor del influyente texto de Springer \"Sheaves in Geometry and Logic, a First Course in Topos Theory\", junto con Saunders Mac Lane. \u003cb\u003eJaap van Oosten\u003c\/b\u003e es un experto en modelos de realizabilidad para sistemas de lógica constructiva, y es autor de una monografía completa sobre el tema: \"Realizability: An Introduction to its Categorical Side\" .\u003c\/p\u003e","brand":"Springer","offers":[{"title":"Default Title","offer_id":44575638421741,"sku":"9783319924137","price":56.98,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0550\/8097\/6621\/products\/img_5a883c11-b553-4a7f-9fc4-4b99d2c1824e.jpg?v=1702000304","url":"https:\/\/sureshotbooks.com\/es\/products\/sets-models-and-proofs-9783319924137","provider":"SureShot Books Publishing LLC","version":"1.0","type":"link"}