Lógica: conceptos, formalización y aplicación en los sistemas computacionales

Desde sus inicios la lógica ha intentado encontrar la verdad o en algunos casos el sentido, en la antigua Grecia fue la partida de la formalización tanto del lenguaje como las matemáticas. Siempre se ha realizado un planteamiento inicial como volvemos un lenguaje formal es decir como convertimos el...