| Número de páginas: |
XII, 185 p. 34 ilustraciones, 16 ilustraciones en color. |
| Resumen: |
Este es un libro de texto para un curso de transición de pregrado en matemáticas de matemáticas basadas en técnicas (como álgebra y cálculo) a matemáticas basadas en pruebas. Motiva la introducción del lenguaje formal de la lógica y la teoría de conjuntos y desarrolla los conceptos básicos con ejemplos, ejercicios con solución y ejercicios sin solución. Luego pasa a una discusión sobre la estructura de la prueba y las técnicas básicas de prueba, incluidas las pruebas por inducción con ejemplos extensos. Un tratamiento en profundidad de las relaciones, particularmente de equivalencia y de orden, completa la exposición del lenguaje básico de las matemáticas. El último capítulo trata de infinitas cardinalidades. Un apéndice ofrece algunos complementos sobre inducción y orden, y otro proporciona soluciones completas de los ejercicios del texto. El público principal son estudiantes universitarios de matemáticas, pero los lectores independientes interesados en las matemáticas también pueden utilizar el libro para estudiar por su cuenta. |
An Introduction to the Language of Mathematics
