Analiza cómo la lógica matemática se aplica a sistemas computacionales, similar a cómo Gordon explora interrelaciones en lógica y computación.
Lectures on Logic and Computation
por Michael J.C. Gordon · 1986
Ver sugerenciasSinopsis
Recopilación de conferencias que abordan la lógica y la computación, explorando sus interrelaciones y aplicaciones en informática.
Sé el primero en valorar este libro.
Más de Michael J.C. Gordon
Ver autor →Otras obras del mismo autor en el catálogo
Libros similares
Libros relacionados según distintos criterios de búsqueda
Desarrolla los métodos de especificación formal en lenguajes de programación, resonando con la temática de la lógica y su aplicación en informática.
Ofrece una introducción completa a la teoría de lenguajes de programación, lo que refleja el enfoque teórico de Gordon sobre la interrelación de lógica y computación.
Explora características de ML ligado a la lógica y su aplicación en demostración de teoremas, mostrando la relación práctica entre lógica y computación.
Examina cómo las pruebas matemáticas se relacionan con la computación, parecido a la conexión que Gordon establece entre lógica y sus aplicaciones informáticas.
Investiga las interacciones entre lógica, lenguajes formales y computación, complementando el enfoque de Gordon sobre la teoría y su aplicación en informática.