Articles tagged Tutorial
Taller 2 - Estilos de Interacción
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
Oscar Dario Malagon Murcia
Resumo das Regras para a Dedução Natural
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)
Luiz Carlos Vieira
Simple Mathematical Induction
This is a simple step by step on how to do mathematical induction.
Ernest Michael Nelson
First Principle of Finite Induction
Mathematical Induction paper
Ernest Michael Nelson
Lambert W's Taylor Series
How to derive the Taylor series for the Lambert W function. The Lambert W function is the inverse of the function x ↦ xex.
Akiva Weinberger
Logarithms
My guide to logarithms.
Rithwik Palivela