Fundamentos de Lógica e Algoritmos