Articles — Handout

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)

R Programming Lecture Notes

Resenha para a disciplina de Filosofia da Tecnologia sobre o filme "O Congresso Futurista"

Created for Stanford Mathematics Camp 2016. A brief introduction to the Hopf Fibration for introductory topology students.

Excerpt from main dissertation

In this tutorial, we are going to introduce python-igraph that is packages for network analysis. igraph provides a huge amount of facilities for those who want to do any analysis on networks, from elementary aspects to advanced ones like shortest path, community detection and clustering, network traffic analysis and so forth. In this tutorial, we are going to introduce igraph by a real-life example which is finding a route in Australian road network between two Australian cities with minimum duration.

Excerpt from main dissertation

Mu4e reference card

En este artículo se muestra el proceso de solución numérica del ejercicio N°40, página 544, del libro "Cálculo de un variable'', con la finalidad de cumplir los requerimientos para el trabajo final de modelación de la asignatura Cálculo Integral. Por medio de la aplicación de integrales, se determinará la ecuación para el cálculo de la longitud de un cable telefónico y se hallará la altura a la cual debe estar conectado el cable teniendo en cuenta la altura mínima de este respecto al suelo, y la distancia de separación entre ambos postes.