Mathematical Techniques For CS Applications