Disciplina que estuda os diversos paradigmas de programação e teoria e prática sobre diversas linguagens.