• X
  • Resultados para ""
  • Edición:
  • 1a
  • ISBN:
  • 9789682461002
  • Páginas:
  • 110
  • Formato:
  • 18 X 24
  • Acabado:
  • RUSTICA PEGADA
  • Peso:
  • 250 gramos

FUNDAMENTOS DE LÓGICA COMPUTACIONAL

  • FRAUSTO SOLÍS, JUAN
  • SÁNCHEZ ANTE, GILDARDO

Descripción

Contenido

La presente obra consta de una selección de temas representativos de la lógica computacional, donde se presentan las técnicas y principios básicos y sus áreas de aplicación.

Los autores hacen énfasis en la lógica proporcional y en la lógica de predicados, debido a que de esta manera es más fácil presentar ejemplos y aplicaciones sobre esas lógicas, lo cual no quita ni generalidad a los conceptos ni valor a las aplicaciones; pero además, porque el aprendizaje de dichas lógicas es necesario para el entendimiento posterior de lógicas no clásicas. Asimismo, se hace una presentación de la lógica modal y temporal, con información suficiente como para que el alumno empiece a realizar aplicaciones donde el factor tiempo sea crucial; se hace un análisis de la lógica de Hoare y se explican sus axiomas a la luz del cálculo de secuencias de Gentzen.

Este libro puede ser usado como texto en cursos de lógica computacional en los últimos años de las carreras de informática o computación, o en los primeros semestres de posgrados relacionados con estas carreras.

* Lógica proposicional

* Lógica de predicados

* Complejidad computacional

* Resolución

* Regla de una literal

* Lógica temporal

* Lógica modal

* Introducción a los métodos formales

* Fundamentos de la lógica de Hoare

TRILLAS RECOMIENDA