Estructuras lógico funcional y física de las computadoras