Artikler — Instituto de Matemática e Estatística (IME-USP)
Artikler tagget Instituto de Matemática e Estatística (IME-USP)
Seneste
![Dicas para a preparação de listas de exercício em formato digital utilizando \LaTeX](https://writelatex.s3.amazonaws.com/published_ver/2456.jpeg?X-Amz-Expires=14400&X-Amz-Date=20240630T124507Z&X-Amz-Algorithm=AWS4-HMAC-SHA256&X-Amz-Credential=AKIAWJBOALPNFPV7PVH5/20240630/us-east-1/s3/aws4_request&X-Amz-SignedHeaders=host&X-Amz-Signature=d337a5176d0d25b146e8b4ac320884385d7cb3bdf4f44fe16ab985641f5a2fbe)
Dicas para a preparação de listas de exercício em formato digital utilizando \LaTeX
Dicas para a preparação de listas de exercícios da disciplina MAC0239 (Introdução à Lógica e Verificação de Programas) no IME-USP.
Tips for preparing exercises for MAC0239 (Introduction to Logic and Program Verification) at IME-USP.
Luiz Carlos Vieira