Discrete Mathematics in Computer Science - Palko, Vladimír (ForPress, 2014)