S2 - Lógica Computacional (2631 - TGR)

Escreva aqui um parágrafo que explique de forma concisa e interessante o que esta disciplina é.