Foundations of discrete mathematics with algorithms and programming