aplicaciones de la lógica matemática en la computación