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.

This article aims to be a model LaTeX document while teaching you the basics of what it is and how to use it. It contains all of the basic constructs you are likely to encounter as you write your first papers and articles. This article will not go into detail about how to get started with a local installation of LaTeX.

upnmthesis is a LaTeX class for authoring theses that fulfill formatting specifications required by Universiti Pertahanan Nasional Malaysia (UPNM). This class and template was commissioned by the university's Centre of Graduate Studies in April, 2016, for both undergraduate and postgraduate theses. A sample file sample-thesis.tex, as well as relevant sample chapters, are included in the package. upnmthesis is available as a template on Overleaf which I recommend you modify for your own thesis write-up. (You can rename it, but I'll stick with the file name sample-thesis.tex throughout this guide.) The latest version of this template can also be downloaded from my website.