An Introduction to the Language of Mathematics / Mynard, Frédéric  

Público ISBD Ningún comentario para este título. Título : An Introduction to the Language of Mathematics Tipo de documento: documento electrónico Autores: Mynard, Frédéric, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2018 Número de páginas: XII, 185 p. 34 ilustraciones, 16 ilustraciones en color. ISBN/ISSN/DL: 978-3-030-00641-9 Nota general: Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. Idioma : Inglés (eng) Palabras clave: Teoría de la prueba  Teoría de la prueba y matemáticas constructivas Clasificación: 511.36 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. Nota de contenido: Chapter 1- The language of logic and set-theory -- Chapter 2- On proofs and writing mathematics -- Chapter 3- Relations -- Chapter 4- Cardinality -- Appendix A- Complements -- Appendix B- Solutions to exercises in the text -- Index -- Bibliography. Tipo de medio : Computadora Summary : This is a textbook for an undergraduate mathematics major transition course from technique-based mathematics (such as Algebra and Calculus) to proof-based mathematics. It motivates the introduction of the formal language of logic and set theory and develops the basics with examples, exercises with solutions and exercises without. It then moves to a discussion of proof structure and basic proof techniques, including proofs by induction with extensive examples. An in-depth treatment of relations, particularly equivalence and order relations completes the exposition of the basic language of mathematics. The last chapter treats infinite cardinalities. An appendix gives some complement on induction and order, and another provides full solutions of the in-text exercises. The primary audience is undergraduate mathematics major, but independent readers interested in mathematics can also use the book for self-study. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] An Introduction to the Language of Mathematics [documento electrónico] / Mynard, Frédéric,  . -  1 ed.  . - [s.l.] : Springer, 2018 . - XII, 185 p. 34 ilustraciones, 16 ilustraciones en color. ISBN : 978-3-030-00641-9 Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. Idioma : Inglés (eng) Palabras clave: Teoría de la prueba  Teoría de la prueba y matemáticas constructivas Clasificación: 511.36 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. Nota de contenido: Chapter 1- The language of logic and set-theory -- Chapter 2- On proofs and writing mathematics -- Chapter 3- Relations -- Chapter 4- Cardinality -- Appendix A- Complements -- Appendix B- Solutions to exercises in the text -- Index -- Bibliography. Tipo de medio : Computadora Summary : This is a textbook for an undergraduate mathematics major transition course from technique-based mathematics (such as Algebra and Calculus) to proof-based mathematics. It motivates the introduction of the formal language of logic and set theory and develops the basics with examples, exercises with solutions and exercises without. It then moves to a discussion of proof structure and basic proof techniques, including proofs by induction with extensive examples. An in-depth treatment of relations, particularly equivalence and order relations completes the exposition of the basic language of mathematics. The last chapter treats infinite cardinalities. An appendix gives some complement on induction and order, and another provides full solutions of the in-text exercises. The primary audience is undergraduate mathematics major, but independent readers interested in mathematics can also use the book for self-study. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]

---

1 (1 - 1 / 1) Ver por página : 25 50 100 200