Esta é uma disciplina na qual conversamos sobre o mundo das linguagens de programação. São abordados conceitos gerais em paradigmas de programação, sintaxe e semântica, valores e tipos, variáveis, vinculação e verificação, expressões e comandos, além de outros recursos embutidos nos projetos da maioria das linguagens modernas. Neste curso o aluno também tem contato com linguagens projetadas sob os paradigmas clássicos imperativo, orientado à eventos, orientado à objetos, funcional e lógico. Eventualmente são abordados paradigmas modernos ou de nicho, como orientado à restrições, orientado à aspectos e multiparadigma.