Artikler — Lecture Notes

A lecture on intermediate proofs that I taught at ARML.

This is an informal set of comments on the HoTT Book.

Brief description of Gaussian Integral

Data Structure have main and important topic, which is Linked List.

Algorismia Teoria

A brief description of counting sort algorithm

definiciones de los conceptos de la primera unidad

Some notes on combinatorics

Aula de Apresentação da disciplina de Teoria de Grafos da Universidade Federal de Goiás (UFG), Regional Jataí, semestre 2016.1.