Finite Mathematical Structures For Computer