1) A lógica estuda as formas de raciocínio e pensamento correto, sendo um instrumento para pensar de maneira correta.
2) Um algoritmo é um conjunto de regras finitas para resolver um problema ou cálculo de forma bem definida.
3) Existem diferentes formas de classificar algoritmos, como recursivo ou iterativo, lógico, serial ou paralelo, determinístico ou não-determinístico, e exato ou aproximado.