Computação e LÓGICA