La lógica computacional está relacionada íntimamente con la manera en que utilizas tu pensamiento lógico, esto es, con la forma en que resuelves un problema.
La contribución fundamental de la Lógica a la Computación es haberle dado un estatus matemático, básicamente al identificar el concepto informal de algoritmo con el objeto matemático de Autómata de Turing. De hecho, en este sentido, la Lógica puede considerarse una ciencia experimental, al implementar una abstracción formal como interacciones de señales electrónicas en un entorno físico. Es aquí donde radica la relación profunda entre Lógica y Computación.
No hay comentarios:
Publicar un comentario