Articles — Tutorial

Resumo das Regras para a Dedução Natural Material de aula da disciplina MAC0239 - Introdução à Lógica e Verificação de Programas (Agosto de 2015)

This is a tutorial on how to use rich text format and markdown for publishing using Overleaf and similar web based LaTeX authoring systems.

Presentation for JEEC Workshop

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.

Usado na Oficina 2016-08-01-ufpr

Welcome to your rst lab assignment typed in LaTeX!