Introduzir técnicas de programação e de análise de corretude e eficiência de algoritmos.