Logica Computacional

La lógica computacional es básicamente usar los fundamentos de las matemáticas aplicándolas por completa en determinar funciones de una computadora. Es muy útil para la resolución de problemas en un ordenador.
Es usada para realizar con detalle algoritmos y operaciones para diseñar programas para computadora y resulta lo mismo que la lógica básica solamente con una aplicación hacia la materia de la informática.
La logica computacional no es mas que logica usandola en temas y problemas relacionados con la materia dela computacion y es parte fundamental de la misma.