Nuevas publicaciones


Estructuras discretas. Lógica proposicional y cálculo de predicados. Cuaderno de ejercicios.

Estructuras discretas. Lógica proposicional y cálculo de predicados. Cuaderno de ejercicios

Ficha:

  • Título: Estructuras discretas. Lógica proposicional y cálculo de predicados. Cuaderno de ejercicios.
  • Autores: Orlando Zaldívar Esquivel, Orlado Zaldívar Zamorategui
  • Fecha de publicación: octubre 2019
  • Área de conocimiento: División de Ingeniería Eléctrica
Comparte esta página

México, Universidad Nacional Autónoma de México, Facultad de Ingeniería, 3ª edición 2019, 211 p., tiraje 150 ejemplares.

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 y Bibliografía.

Venta: Facultad de Ingeniería. Ventanilla de apuntes.
Circuito Interior s/n Cd. Universitaria, Coyoacán C.P. 04510. Tel. 56-22-08-75