La lógica es una ciencia que estudia los procesos del pensamiento, su estructura y relaciones. La lógica computacional aplica la lógica matemática al contexto de las ciencias de la computación, siendo fundamental en circuitos computacionales, programación lógica y análisis y optimización de algoritmos.