Discrete mathematics for computing | Synapse