Criado Estruturas Matemáticas para Computação