Cómo probarlo: un enfoque estructurado- Daniel J. Velleman

Orientado a preparar a los estudiantes para hacer la transición de resolver problemas a demostrar teoremas, este texto les enseña las técnicas necesarias para leer y escribir pruebas. El libro comienza con los conceptos básicos de la lógica y la teoría de conjuntos, para familiarizar a los estudiantes con el lenguaje de las matemáticas y cómo se interpreta. Estos conceptos se utilizan como la base para una desglose paso a paso de las técnicas más importantes utilizadas en la construcción de pruebas. Para ayudar a los estudiantes a construir sus propias pruebas, esta nueva edición contiene más de 200 nuevos ejercicios, soluciones seleccionadas y una introducción al software Proof Designer. No se asume ningún antecedente más allá de las matemáticas estándar de la preparatoria. Edición anterior Hb (1994) 0-521-44116-1 Edición anterior Pb (1994) 0-521-44663-5