Articles — Instituto de Matemática e Estatística (IME-USP)

Articles tagged Instituto de Matemática e Estatística (IME-USP)

Show all Articles

Dicas para a preparação de listas de exercício em formato digital utilizando \LaTeX
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

Related Tags

Homework AssignmentInternational LanguagesMathUniversityTutorialPortuguese (Brazilian)Thesis