Lógica Computacional

Escrito por LogicaSebastian 27-11-2017 en Sebas. Comentarios (0)


¿Qué es lógica computacional?

La lógica constituye la herramienta formal de razonamiento de la mayor parte de las asignaturas de

la carrera de informática, sobre todo de las que están más relacionadas con las matemáticas y la

programación

La lógica computacional es la mismalógica matemáticaaplicada al contexto de lasciencias de la computación. Su uso es fundamental a varios niveles: en loscircuitos computacionales, en laprogramación lógicay en elanálisisy optimización (de recursos temporales y espaciales) dealgoritmos.

Todo sistema computacional, por muy complejo que sea, no está compuesto por más que circuitos electrónicos que únicamente entienden un lenguaje binario. La lógica computacional se encarga de modelar y optimizar tales sistemas a este nivel.