La lógica computacional es la misma lógica matemática aplicada al contexto de las ciencias de la computación. Su uso es fundamental a varios niveles: en los circuitos computacionales, en la programación lógica y en el análisis y optimización (de recursos temporales y espaciales) de algoritmos.
Andrei Nikoláyevich Kolmogórov
Andréi Nikoláyevich Kolmogórov (1903 - 1987)
Fue un matemático ruso que hizo progresos importantes en los campos del escenario y de la topología. En particular, desarrolló una base axiomática que supone el pilar básico de la teoría de la probabilidad a partir de la teoría de conjuntos. Trabajó al principio de su
Importancia de la logica
La lógica es muy importante, ya que determina la manera en que se puede resolver un problema. Es un nivel de abstracción sin el cual no es posible estructurar los pasos que generen lo que esperamos obtener.