Descripción
Este 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.
Los 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.
El 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.
Autor: Ieke Moerdijk, Jaap Van Oosten
Editorial: Springer
Publicado: 12/06/2018
Páginas: 141
Tipo de encuadernación: Tapa blanda
Peso: 0.50lbs
Tamaño: 9.21h x 6.14w x 0.33d
ISBN13: 9783319924137
ISBN10: 3319924133
Categorías BISAC:
- Matemáticas | Lógica
- Matemáticas | Álgebra | General
Sobre el Autor
Ambos 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. Ieke Moerdijk fue coautor del influyente texto de Springer "Sheaves in Geometry and Logic, a First Course in Topos Theory", junto con Saunders Mac Lane. Jaap van Oosten 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" .