Articles — Tutorial

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.

LaTeX practice/tutorial demonstrated using convolution.

Questions for Manny

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.

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

This is a simple step by step on how to do mathematical induction.

Mathematical Induction paper

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)

How to derive the Taylor series for the Lambert W function. The Lambert W function is the inverse of the function x ↦ xex.