O documento apresenta o professor Thomás da Costa, ministrando a disciplina de Lógica e Matemática Computacional. Apresenta sua formação acadêmica e experiência profissional, além de fornecer informações sobre o conteúdo programático e avisos aos alunos.