Text this: Mathematical foundation for computer science