Mathematical Foundations of Software Engineering: A Practical Guide to Essentials