Introduzir aos estudantes os paradigmas e linguagens de programação funcionais e lógicas, seus principais conceitos, vantagens e eventuais desvantagens.