Gallerie — Tutorial

Este documento presenta 3 aspectos relacionados a la creación de 3 nuevas versiones del videojuego Gorillaz usando como recursos el lenguaje de programación C++, la librería fltk y el compilador CMake. Los aspectos a tratar son: Diseño Manual de Usuario Proceso de Desarrollo

My guide to logarithms.

This is a template that allows to crop and split a PDF just editing few lines of code. Read me: Load your PDF (Project --> files) Change opportunely the size and the number of pages To discovering the correct size, you can use software like: Inkscape, Gimp or a PDF Reader I put the units in mm but you can choose in whatever you want Activate a step at a time More info on my website: http://rainnic.altervista.org/it/tag/latex

Know the LaTeX command you want to use but can't remember how to write it? Here we present a great tips sheet produced by Dave Richeson; it's pre-loaded in Overleaf so you can see how the commands work instantly. Simply click on the button above to open a version in Overleaf for editing (and to quickly copy and paste the commands you need!). For more comments visit this page on Dave's site, or if you'd like to work through a fuller introduction to LaTeX why not check out our free online course?

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)

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.

Basic presentation

A leaflet created for a Math class that I conduct during this term.