Agora, apresentando os itens 1-4

    Algoritmos (1)
    Algoritmos de computador (1)
    Calculo proposicional (1)
    Logica simbolica e matematica (1)