TY - BOOK AU - Johnsonbaugh, Richard TI - Matemáticas discretas SN - 970-17-0253-0 U1 - 510 PY - 1999/// CY - México PB - Prentince-Hall KW - ARBOLES KW - ALGORITMOS KW - GEOMETRIA KW - ALGEBRA BOLEANA N1 - Indice del Contenido. LOGICA Y DEMOSTRACIONES. 1.1 Proposiciones. 1.2 Proposiciones condicionales y equivalencia lógica. 1.3 Cuantificadores. 1.4 Demostraciones. l.5 Demostraciones por resolución. 1.6 Inducción matemática ER -