Estructuras discretas. Lógica proposicional y cálculo de predicados. Cuaderno de ejercicios.
Se presenta la tercera edición de esta obra que tiene como objetivo facilitar en los estudiantes de ingeniería el desarrollo de las habilidades necesarias básicas para el análisis de problemas, a través del dominio de los conceptos relacionados con la lógica proposicional y el cálculo de predicados.
Este material expone una metodología para la solución de problemas. Los 125 ejercicios tratados son formativos en la preparación de los estudiantes de la carrera de Ingeniería en Computación; este cuaderno de ejercicios les otorgará un apoyo importante, no solo a ellos, sino a los ingenieros que se desarrollan en el campo profesional de la algorítmica y la programación.
Contenido
- Prólogo.
- Presentación.
- Tablas.
- Fórmulas proposicionales y tablas de verdad.
- Formas normales y dispositivos de dos estados.
- Notación polaca y patentizada.
- Elementos de inferencia para el cálculo proposicional.
- Prueba automática de teoremas.
- Cálculo de predicados.
- Recomendaciones finales.
- Recomendaciones finales.