Articles tagged Tutorial

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

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

How to Write Using Rich Text Format and Markdown in LaTeX and Overleaf
This is a tutorial on how to use rich text format and markdown for publishing using Overleaf and similar web based LaTeX authoring systems.
Arindam Basu

JEEC2015_MondayWorkshop
Presentation for JEEC Workshop
Alexandre Bernardino

Tutorial de LaTeX para Software Carpentry
Usado na Oficina 2016-08-01-ufpr
Abel Siqueira

IOE 310 Lab 3 PDF 3
Welcome to your rst lab assignment typed in LaTeX!
Kylie Collins