Dicas para a preparação de listas de exercício em formato digital utilizando \LaTeX

Open as Template View Source Download PDF

Author

Luiz Carlos Vieira

View Count

9912

License

Creative Commons CC BY 4.0

Abstract

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.

Tags

Homework Assignment International Languages Math Tutorial Portuguese (Brazilian)Instituto de Matemática e Estatística (IME-USP)

Find More Articles

$Dicas para a preparação de listas de exercício em formato digital utilizando \LaTeX$