最近的
Mathematical Induction paper
This is a simple step by step on how to do mathematical induction.
How to derive the Taylor series for the Lambert W function. The Lambert W function is the inverse of the function x ↦ xex.
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.
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.
LaTeX practice/tutorial demonstrated using convolution.