View of Programming Theorems and Their Applications | Teaching Mathematics and Computer Science