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

Open as TemplateView SourceDownload PDF
Author
Luiz Carlos Vieira
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
International LanguagesMathHomework AssignmentTutorialPortuguese (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